diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-07-14 15:10:51 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-14 15:10:51 -0500 |
commit | a932b4478e397d760d9457be7c6a80f9ba724391 (patch) | |
tree | a2f8f3ff748ac3264208518c9ccd3e64b9114703 /src/options | |
parent | 14d32d598e9daa97cf1a29ff893caac2989baec4 (diff) |
Make use of options in setDefaults more consistent (#4729)
The plan is to make setDefaults (the method to update the default options based on our internal heuristics) modify an explicit copy of options.
This is the first step, which eliminates the dependence of this method on SmtEngine.
This PR is furthermore required to eliminate options listeners.
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/arith_options.toml | 1 | ||||
-rw-r--r-- | src/options/bv_options.toml | 1 | ||||
-rw-r--r-- | src/options/smt_options.toml | 1 |
3 files changed, 0 insertions, 3 deletions
diff --git a/src/options/arith_options.toml b/src/options/arith_options.toml index ce747b62d..a6c967dc9 100644 --- a/src/options/arith_options.toml +++ b/src/options/arith_options.toml @@ -425,7 +425,6 @@ header = "options/arith_options.h" long = "pb-rewrites" type = "bool" default = "false" - read_only = true help = "apply pseudo boolean rewrites" [[option]] diff --git a/src/options/bv_options.toml b/src/options/bv_options.toml index 517d864d3..f7ec33f75 100644 --- a/src/options/bv_options.toml +++ b/src/options/bv_options.toml @@ -249,7 +249,6 @@ header = "options/bv_options.h" long = "bv-intro-pow2" type = "bool" default = "false" - read_only = true help = "introduce bitvector powers of two as a preprocessing pass" [[option]] diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 80183b71f..e4847716a 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -395,7 +395,6 @@ header = "options/smt_options.h" long = "incremental" type = "bool" default = "true" - read_only = true help = "enable incremental solving" [[option]] |