diff options
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/datatypes_options.toml | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/src/options/datatypes_options.toml b/src/options/datatypes_options.toml index b74244fe1..0c521bb93 100644 --- a/src/options/datatypes_options.toml +++ b/src/options/datatypes_options.toml @@ -101,7 +101,16 @@ header = "options/datatypes_options.h" type = "bool" default = "true" read_only = true - help = "simple sygus sym break lemmas" + help = "simple sygus symmetry breaking lemmas" + +[[option]] + name = "sygusSymBreakAgg" + category = "regular" + long = "sygus-sym-break-agg" + type = "bool" + default = "true" + read_only = true + help = "use aggressive checks for simple sygus symmetry breaking lemmas" [[option]] name = "sygusSymBreakDynamic" @@ -110,7 +119,7 @@ header = "options/datatypes_options.h" type = "bool" default = "true" read_only = true - help = "dynamic sygus sym break lemmas" + help = "dynamic sygus symmetry breaking lemmas" [[option]] name = "sygusSymBreakPbe" @@ -118,7 +127,7 @@ header = "options/datatypes_options.h" long = "sygus-sym-break-pbe" type = "bool" default = "true" - help = "sygus sym break lemmas based on pbe conjectures" + help = "sygus symmetry breaking lemmas based on pbe conjectures" [[option]] name = "sygusOpt1" |