From 7e445cf997a695ca2726df50e3b2f6d5f4809c95 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Wed, 22 Jan 2014 13:50:39 -0600 Subject: [PATCH] solve string exp issue for regexp --- src/theory/strings/theory_strings_preprocess.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/theory/strings/theory_strings_preprocess.cpp b/src/theory/strings/theory_strings_preprocess.cpp index 757ec56a2..288940838 100644 --- a/src/theory/strings/theory_strings_preprocess.cpp +++ b/src/theory/strings/theory_strings_preprocess.cpp @@ -119,6 +119,9 @@ int StringsPreprocess::checkFixLenVar( Node t ) { ret = 2; } } + if(!options::stringExp()) { + ret = 2; + } return ret; } Node StringsPreprocess::simplify( Node t, std::vector< Node > &new_nodes ) { -- 2.30.2