diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-13 14:53:00 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-13 12:53:00 -0700 |
| commit | 442ab0cdd8578631974318c17dd8ace59d145839 (patch) | |
| tree | 047f130c44c21c84fb461e5df2e998e475fd0936 /src/options/strings_options.toml | |
| parent | 5fe737f9513ef4c9c6f582d08bd8cd644a9e012c (diff) | |
Removing a few deprecated options (#4052)
Diffstat (limited to 'src/options/strings_options.toml')
| -rw-r--r-- | src/options/strings_options.toml | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml index f51c4ce67..49c304bab 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -11,17 +11,6 @@ header = "options/strings_options.h" help = "experimental features in the theory of strings" [[option]] - name = "stringLB" - smt_name = "strings-lb" - category = "regular" - long = "strings-lb=N" - type = "unsigned" - default = "0" - predicates = ["unsignedLessEqual2"] - read_only = true - help = "the strategy of LB rule application: 0-lazy, 1-eager, 2-no" - -[[option]] name = "stdPrintASCII" category = "regular" long = "strings-print-ascii" @@ -48,15 +37,6 @@ header = "options/strings_options.h" help = "strings eager check" [[option]] - name = "stringEIT" - category = "regular" - long = "strings-eit" - type = "bool" - default = "false" - read_only = true - help = "the eager intersection used by the theory of strings" - -[[option]] name = "stringIgnNegMembership" category = "regular" long = "strings-inm" |