diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-09-17 15:40:28 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-09-17 15:40:28 -0500 |
commit | d2b692cb2c054199d75a05f0f700e54fcb4f6c3c (patch) | |
tree | ce69ae1d1d547d48cf771896410208061949049e /src/options | |
parent | c90b5b15ca93e64683c2bbf85def8d7afb4edab8 (diff) |
More aggressive skolem caching for strings, document and clean preprocessor (#2478)
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/strings_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml index c48583bb2..77056e279 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -183,15 +183,6 @@ header = "options/strings_options.h" help = "use model guessing to avoid string extended function reductions" [[option]] - name = "stringUfReduct" - category = "regular" - long = "strings-uf-reduct" - type = "bool" - default = "false" - read_only = true - help = "use uninterpreted functions when applying extended function reductions" - -[[option]] name = "stringBinaryCsp" category = "regular" long = "strings-binary-csp" |