diff options
author | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-30 23:29:57 -0500 |
---|---|---|
committer | Tianyi Liang <tianyi-liang@uiowa.edu> | 2013-09-30 23:29:57 -0500 |
commit | a747f01c1ee737bb8c4c1cc8ce355b79078d03d7 (patch) | |
tree | 49351b3e775cde995808de15d106f415770a9d12 /test/regress/regress0/strings/loop003.smt2 | |
parent | cf4dd7abde3554156ff26684e189c1de40f51b9b (diff) |
replace with a new method for disequality, move to QF_S
Diffstat (limited to 'test/regress/regress0/strings/loop003.smt2')
-rw-r--r-- | test/regress/regress0/strings/loop003.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/loop003.smt2 b/test/regress/regress0/strings/loop003.smt2 index b4fbcf7d5..1247170c9 100644 --- a/test/regress/regress0/strings/loop003.smt2 +++ b/test/regress/regress0/strings/loop003.smt2 @@ -1,4 +1,4 @@ -(set-logic ALL_SUPPORTED) +(set-logic QF_S) (set-info :status sat) (declare-fun x () String) |