diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-07 13:47:05 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-11-07 13:47:05 -0800 |
| commit | 78d153ce9e1f4993cff22bf726ce37af66b81aab (patch) | |
| tree | c728225f9491b74fc981ab11e57fc236612fa748 /src/options/quantifiers_options.toml | |
| parent | 01d5f79209fa23783778d98b711f951f071e695d (diff) | |
| parent | 58ac30a778baf698603af98ff01aa8c17d430b32 (diff) | |
Merge branch 'master' into pldi2019
Diffstat (limited to 'src/options/quantifiers_options.toml')
| -rw-r--r-- | src/options/quantifiers_options.toml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index 0b28c6a27..c555c37bf 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -1044,7 +1044,7 @@ header = "options/quantifiers_options.h" category = "regular" long = "sygus-active-gen=MODE" type = "CVC4::theory::quantifiers::SygusActiveGenMode" - default = "CVC4::theory::quantifiers::SYGUS_ACTIVE_GEN_NONE" + default = "CVC4::theory::quantifiers::SYGUS_ACTIVE_GEN_AUTO" handler = "stringToSygusActiveGenMode" includes = ["options/quantifiers_modes.h"] read_only = true @@ -1135,7 +1135,7 @@ header = "options/quantifiers_options.h" category = "regular" long = "sygus-pbe-multi-fair" type = "bool" - default = "true" + default = "false" help = "when using multiple enumerators, ensure that we only register value of minimial term size" [[option]] |