diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-23 13:00:43 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-23 13:00:43 -0500 |
| commit | 085d6a91f0686d6680d15bb54f9435f30d53c331 (patch) | |
| tree | a5ffe08fecdcd1a66b5b40623a5b514284857cbe /src/options/quantifiers_options.toml | |
| parent | 996de9116150fb7214b3b9a56995e2492d3e5668 (diff) | |
Update dynamic splitting strategy for quantifiers (#3162)
Diffstat (limited to 'src/options/quantifiers_options.toml')
| -rw-r--r-- | src/options/quantifiers_options.toml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index 00059bba6..4398711b7 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -1717,7 +1717,7 @@ header = "options/quantifiers_options.h" category = "regular" long = "quant-dsplit-mode=MODE" type = "CVC4::theory::quantifiers::QuantDSplitMode" - default = "CVC4::theory::quantifiers::QUANT_DSPLIT_MODE_NONE" + default = "CVC4::theory::quantifiers::QUANT_DSPLIT_MODE_DEFAULT" handler = "stringToQuantDSplitMode" includes = ["options/quantifiers_modes.h"] help = "mode for dynamic quantifiers splitting" |