From acb79cbe43ddcd855db042b7c937fc2eacaa0ac3 Mon Sep 17 00:00:00 2001
From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Fri, 28 Feb 2014 11:05:09 -0600
Subject: a new regular expression engine for solving both positive and
 negative membership constraints

---
 test/regress/regress0/strings/loop008.smt2 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/regress/regress0/strings/loop008.smt2')

diff --git a/test/regress/regress0/strings/loop008.smt2 b/test/regress/regress0/strings/loop008.smt2
index 91ed8cdf0..113577e48 100644
--- a/test/regress/regress0/strings/loop008.smt2
+++ b/test/regress/regress0/strings/loop008.smt2
@@ -1,4 +1,5 @@
 (set-logic QF_S)
+(set-option :strings-exp true)
 (set-info :status sat)
 
 (declare-fun x () String)
-- 
cgit v1.2.3