diff options
Diffstat (limited to 'test/regress/regress0')
| -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)) |