diff options
| author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-21 13:40:00 -0600 |
|---|---|---|
| committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2014-01-22 12:58:36 -0600 |
| commit | 3da57075e8f810773ae95aadadc5408e0a537f02 (patch) | |
| tree | 6a91448ed48cecfe69ffa0a571ef45d83bf97661 /src/theory/strings | |
| parent | 02efc4635cc200deb7884e55bf62feb7f19248b8 (diff) | |
Smarter options, but still have a bug
Diffstat (limited to 'src/theory/strings')
| -rw-r--r-- | src/theory/strings/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/options b/src/theory/strings/options index 6f4355fb6..5ac86dcae 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -11,7 +11,7 @@ option stringCharCardinality strings-alphabet-card --strings-alphabet-card=N int option stringRegExpUnrollDepth strings-regexp-depth --strings-regexp-depth=N int16_t :default 10 :read-write the depth of unrolloing regular expression used by the theory of strings, default 10 -option stringFMF strings-fmf --strings-fmf bool :default false :predicate CVC4::smt::beforeSearch :predicate-include "smt/smt_engine.h" +option stringFMF strings-fmf --strings-fmf bool :default false :read-write the finite model finding used by the theory of strings option stringLB strings-lb --strings-lb=N unsigned :default 0 :predicate less_equal(2) :predicate-include "smt/smt_engine.h" |