Make flat form inferences optional in strings (#2277)

[cvc5.git] / src / options / strings_options.toml

diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml
index 66b312737a738a94710771900d83c1700bb4d1cd..3498b61837a715d2a40525defc0c9214b5b37ff9 100644 (file)
--- a/src/options/strings_options.toml
+++ b/src/options/strings_options.toml
@@ -208,3 +208,12 @@ header = "options/strings_options.h"
   default    = "false"
   read_only  = true
   help       = "do length propagation based on constant splits"
+
+[[option]]
+  name       = "stringFlatForms"
+  category   = "regular"
+  long       = "strings-ff"
+  type       = "bool"
+  default    = "true"
+  read_only  = true
+  help       = "do flat form inferences"