diff options
Diffstat (limited to 'test/regress/regress0/strings/unsound-0908.smt2')
-rwxr-xr-x | test/regress/regress0/strings/unsound-0908.smt2 | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/regress/regress0/strings/unsound-0908.smt2 b/test/regress/regress0/strings/unsound-0908.smt2 index cbaf5f5e4..2b25e6dc8 100755 --- a/test/regress/regress0/strings/unsound-0908.smt2 +++ b/test/regress/regress0/strings/unsound-0908.smt2 @@ -1,12 +1,12 @@ -(set-logic QF_S)
-(set-info :status sat)
-(declare-const x String)
-(assert (= (str.len x) 1))
-;(assert (= x "X"))
-(assert
- (or
- (not (> (str.len x) 1))
- (= (str.at x 1) "Z")
- )
-)
-(check-sat)
+(set-logic QF_S) +(set-info :status sat) +(declare-const x String) +(assert (= (str.len x) 1)) +;(assert (= x "X")) +(assert + (or + (not (> (str.len x) 1)) + (= (str.at x 1) "Z") + ) +) +(check-sat) |