diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-28 15:05:06 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-28 15:05:06 -0500 |
commit | da165b9cbee366d4e77716617f2e2c794da9bd46 (patch) | |
tree | 05535894356ff2d2c5bae66e6da6ab5a85b9e6f1 /src/options | |
parent | 4df14f1e09549be607123c66b7dd206e8e244c89 (diff) |
Fix term registry for constant case, simplify. (#4538)
We were getting an assertion failure (causing nightlies to fail) due to the recent optimization to the strings skolem cache (978f455). This ensures we ignore constant strings in TermRegistry::getRegisterTermAtomicLemma.
It also removes a deprecated option that is deleted in the proof-new branch.
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 3cf8f5852..32c4c64c7 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -55,15 +55,6 @@ header = "options/strings_options.h" help = "perform string preprocessing lazily" [[option]] - name = "stringLenGeqZ" - category = "regular" - long = "strings-len-geqz" - type = "bool" - default = "false" - read_only = true - help = "strings length greater than zero lemmas" - -[[option]] name = "stringLenNorm" category = "regular" long = "strings-len-norm" |