diff options
Diffstat (limited to 'src/options/strings_options.toml')
| -rw-r--r-- | src/options/strings_options.toml | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml index 05025708b..74112b286 100644 --- a/src/options/strings_options.toml +++ b/src/options/strings_options.toml @@ -209,6 +209,22 @@ name = "Strings Theory" help = "use regular expressions for eager length conflicts" [[option]] + name = "stringEagerSolver" + category = "regular" + long = "strings-eager-solver" + type = "bool" + default = "true" + help = "use the eager solver" + +[[option]] + name = "stringRegexpInclusion" + category = "regular" + long = "strings-regexp-inclusion" + type = "bool" + default = "true" + help = "use regular expression inclusion" + +[[option]] name = "seqArray" category = "expert" long = "seq-array=MODE" |