diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-17 13:02:32 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-17 13:02:32 +0200 |
| commit | bbca2bbba0bef37202b1e98ba28355785197f15d (patch) | |
| tree | 51ea012084a0a93e5d2c1cc9e8d8b3a7149a5974 /src/options | |
| parent | d4c49e755a53e7333c7638a5aeafe8baa2ea56d3 (diff) | |
sygusComp 2018: updates to sygus term database (#2170)
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" |