diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-19 14:39:24 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-19 14:39:24 -0500 |
| commit | d3a7843883ec6f52f78640640515e4856560d28e (patch) | |
| tree | dda22faedb32272987eae0423adeb6930d39693a | |
| parent | 34cb5d22faba63b385a6344610d90ecc22d8b322 (diff) | |
Update option.
| -rw-r--r-- | src/options/datatypes_options.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/datatypes_options.toml b/src/options/datatypes_options.toml index f528ab2f3..bd8ed88f6 100644 --- a/src/options/datatypes_options.toml +++ b/src/options/datatypes_options.toml @@ -108,9 +108,9 @@ header = "options/datatypes_options.h" category = "regular" long = "sygus-sym-break-agg" type = "bool" - default = "false" + default = "true" read_only = true - help = "simple sygus sym break lemmas" + help = "use aggressive checks for simple sygus sym break lemmas" [[option]] name = "sygusSymBreakDynamic" |