diff options
Diffstat (limited to 'src/options/strings_options.toml')
-rw-r--r-- | src/options/strings_options.toml | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml index 208b4483f..4672bbb6e 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -24,7 +24,6 @@ header = "options/strings_options.h" long = "strings-eager" type = "bool" default = "false" - read_only = true help = "strings eager check" [[option]] @@ -33,7 +32,6 @@ header = "options/strings_options.h" long = "strings-inm" type = "bool" default = "false" - read_only = true help = "internal for strings: ignore negative membership constraints (fragment checking is needed, left to users for now)" [[option]] @@ -42,7 +40,6 @@ header = "options/strings_options.h" long = "strings-lazy-pp" type = "bool" default = "true" - read_only = true help = "perform string preprocessing lazily" [[option]] @@ -51,7 +48,6 @@ header = "options/strings_options.h" long = "strings-len-norm" type = "bool" default = "true" - read_only = true help = "strings length normalization lemma" [[option]] @@ -60,7 +56,6 @@ header = "options/strings_options.h" long = "strings-infer-sym" type = "bool" default = "true" - read_only = true help = "strings split on empty string" [[option]] @@ -69,7 +64,6 @@ header = "options/strings_options.h" long = "strings-eager-len" type = "bool" default = "true" - read_only = true help = "strings eager length lemmas" [[option]] @@ -78,7 +72,6 @@ header = "options/strings_options.h" long = "strings-check-entail-len" type = "bool" default = "true" - read_only = true help = "check entailment between length terms to reduce splitting" [[option]] @@ -112,7 +105,6 @@ header = "options/strings_options.h" long = "strings-infer-as-lemmas" type = "bool" default = "false" - read_only = true help = "always send lemmas out instead of making internal inferences" [[option]] @@ -121,7 +113,6 @@ header = "options/strings_options.h" long = "strings-rexplain-lemmas" type = "bool" default = "true" - read_only = true help = "regression explanations for string lemmas" [[option]] @@ -130,7 +121,6 @@ header = "options/strings_options.h" long = "strings-min-prefix-explain" type = "bool" default = "true" - read_only = true help = "minimize explanations for prefix of normal forms in strings" [[option]] @@ -139,7 +129,6 @@ header = "options/strings_options.h" long = "strings-guess-model" type = "bool" default = "false" - read_only = true help = "use model guessing to avoid string extended function reductions" [[option]] @@ -148,7 +137,6 @@ header = "options/strings_options.h" long = "strings-lprop-csp" type = "bool" default = "false" - read_only = true help = "do length propagation based on constant splits" [[option]] @@ -173,7 +161,6 @@ header = "options/strings_options.h" long = "strings-ff" type = "bool" default = "true" - read_only = true help = "do flat form inferences" [[option]] @@ -203,7 +190,6 @@ header = "options/strings_options.h" long = "strings-unified-vspt" type = "bool" default = "true" - read_only = true help = "use a single skolem for the variable splitting rule" [[option]] |