Minor improvements to strings related to constant splitting, including a few options (disabled by default).

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