diff options
Diffstat (limited to 'src/theory/strings/options')
| -rw-r--r-- | src/theory/strings/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/theory/strings/options b/src/theory/strings/options index 596d46c54..8a839a118 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -32,4 +32,7 @@ option stringIgnNegMembership strings-inm --strings-inm bool :default false #expert-option stringCharCardinality strings-alphabet-card --strings-alphabet-card=N int16_t :default 128 :read-write # the cardinality of the characters used by the theory of strings, default 128 (for standard ASCII) or 256 (for extended ASCII) +option stringLazyPreproc strings-lazy-pp --strings-lazy-pp bool :default true + perform string preprocessing lazily + endmodule |