tagion v1.0.3-rc1 (2023-12-18T15:15:15Z)

BehaviourOptions.bdd_gen_ext

tagion tools collider BehaviourOptions BehaviourOptions

Extension for the generated BDD-files

struct BehaviourOptions
string bdd_gen_ext;

Meta

Source

See Implementation

tagion tools collider BehaviourOptions BehaviourOptions functionsmixinsvariables

Page generated by adrdox