diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-09-02 09:17:08 -0400 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-09-02 09:17:08 -0400 |
commit | 711815d937db09aeb7e8fa568718768113ef7176 (patch) | |
tree | e620e8729f16e6140927b56751cc27a93be422e6 | |
parent | 1ea1262c394c623d64ea2cab33681a16a1aec8a6 (diff) |
fix regressions
-rw-r--r-- | test/regress/regress0/arrayinuf_error.smt2 | 10 | ||||
-rw-r--r-- | test/regress/regress0/errorcrash.smt2 | 2 |
2 files changed, 6 insertions, 6 deletions
diff --git a/test/regress/regress0/arrayinuf_error.smt2 b/test/regress/regress0/arrayinuf_error.smt2 index dd5fd58a7..1fedd95ac 100644 --- a/test/regress/regress0/arrayinuf_error.smt2 +++ b/test/regress/regress0/arrayinuf_error.smt2 @@ -1,8 +1,8 @@ -; EXPECT-ERROR: (error "Parse Error: arrayinuf_error.smt2:7.21: Symbol 'Array' not declared as a type -; EXPECT-ERROR: -; EXPECT-ERROR: (declare-fun a (Array Bool Bool)) -; EXPECT-ERROR: ^ -; EXPECT-ERROR: ") +; EXPECT: (error "Parse Error: arrayinuf_error.smt2:7.21: Symbol 'Array' not declared as a type +; EXPECT: +; EXPECT: (declare-fun a (Array Bool Bool)) +; EXPECT: ^ +; EXPECT: ") (set-logic QF_UF) (declare-fun a (Array Bool Bool)) ; EXIT: 1 diff --git a/test/regress/regress0/errorcrash.smt2 b/test/regress/regress0/errorcrash.smt2 index 59d5b2014..6b8a0a8f3 100644 --- a/test/regress/regress0/errorcrash.smt2 +++ b/test/regress/regress0/errorcrash.smt2 @@ -1,5 +1,5 @@ ; EXIT: 1 -; EXPECT-ERROR: (error "Parse Error: errorcrash.smt2:5.29: Symbol 'Array' not declared as a type") +; EXPECT: (error "Parse Error: errorcrash.smt2:5.29: Symbol 'Array' not declared as a type") (set-logic QF_UF) (declare-sort U 0) (declare-fun x () (Array U U)) |