diff options
Diffstat (limited to 'src/options/quantifiers_options.toml')
-rw-r--r-- | src/options/quantifiers_options.toml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index e53d3f5ba..80692055f 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -259,6 +259,14 @@ name = "Quantifiers" help = "use triggers that do not contain all free variables" [[option]] + name = "consExpandTriggers" + category = "regular" + long = "cons-exp-triggers" + type = "bool" + default = "false" + help = "use constructor expansion for single constructor datatypes triggers" + +[[option]] name = "multiTriggerWhenSingle" category = "regular" long = "multi-trigger-when-single" |