diff options
Diffstat (limited to 'src/theory/strings/options')
-rw-r--r-- | src/theory/strings/options | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/theory/strings/options b/src/theory/strings/options index 21e1a7e4d..eb49e686d 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -38,4 +38,9 @@ option stringLazyPreproc strings-lazy-pp --strings-lazy-pp bool :default true option stringLenGeqZ strings-len-geqz --strings-len-geqz bool :default false strings length greater than zero lemmas +option stringLenNorm strings-len-norm --strings-len-norm bool :default true + strings length normalization lemma +option stringSplitEmp strings-sp-emp --strings-sp-emp bool :default true + strings split on empty string + endmodule |