diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-26 15:15:46 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-26 15:15:57 -0500 |
commit | 608bf149dda6dcb546445ead3eb98241f64b8876 (patch) | |
tree | b204c165a1ba1c3d0aca1132f5e2255082be20d1 /src/options | |
parent | 319bbda7ad32e6e9ee009c27003f6f1c0a8d7b20 (diff) |
Minor improvements to strings related to constant splitting, including a few options (disabled by default).
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/strings_options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/strings_options b/src/options/strings_options index 27739070d..6dd7030a1 100644 --- a/src/options/strings_options +++ b/src/options/strings_options @@ -67,6 +67,10 @@ option stringGuessModel strings-guess-model --strings-guess-model bool :default use model guessing to avoid string extended function reductions option stringUfReduct strings-uf-reduct --strings-uf-reduct bool :default false use uninterpreted functions when applying extended function reductions +option stringBinaryCsp strings-binary-csp --strings-binary-csp bool :default false + use binary search when splitting strings +option stringLenPropCsp strings-lprop-csp --strings-lprop-csp bool :default false + do length propagation based on constant splits endmodule |