diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-05 20:22:13 -0600 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-12-05 20:22:13 -0600 |
commit | d78c39e768c2e6dd36f1738d343182a114a3c3db (patch) | |
tree | eccd74c9efac89919646b449b79f36f31c701df8 /src/theory/strings/options | |
parent | ce6d10c6cefffa8d3acfd82170b668477c63d32a (diff) |
disable substring in default mode
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 8bede6cae..6f4355fb6 100644 --- a/src/theory/strings/options +++ b/src/theory/strings/options @@ -17,4 +17,7 @@ option stringFMF strings-fmf --strings-fmf bool :default false :predicate CVC4:: option stringLB strings-lb --strings-lb=N unsigned :default 0 :predicate less_equal(2) :predicate-include "smt/smt_engine.h" the strategy of LB rule application: 0-lazy, 1-eager, 2-no +option stringExp strings-exp --strings-exp bool :default false :predicate CVC4::smt::beforeSearch :predicate-include "smt/smt_engine.h" + experimental features in the theory of strings + endmodule |