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/loop002.smt2 | |
| parent | cf4dd7abde3554156ff26684e189c1de40f51b9b (diff) | |
replace with a new method for disequality, move to QF_S
Diffstat (limited to 'test/regress/regress0/strings/loop002.smt2')
| -rw-r--r-- | test/regress/regress0/strings/loop002.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/strings/loop002.smt2 b/test/regress/regress0/strings/loop002.smt2 index 2f96241dc..90492189f 100644 --- a/test/regress/regress0/strings/loop002.smt2 +++ b/test/regress/regress0/strings/loop002.smt2 @@ -1,4 +1,4 @@ -(set-logic ALL_SUPPORTED) +(set-logic QF_S) (set-info :status sat) (declare-fun x () String) |