From d78c39e768c2e6dd36f1738d343182a114a3c3db Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Thu, 5 Dec 2013 20:22:13 -0600 Subject: disable substring in default mode --- src/theory/strings/options | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/theory/strings/options') 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 -- cgit v1.2.3