diff options
Diffstat (limited to 'test/regress/regress0')
| -rw-r--r-- | test/regress/regress0/ite2.smt2 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/test/regress/regress0/ite2.smt2 b/test/regress/regress0/ite2.smt2 index 9bcac2ec8..ada94531d 100644 --- a/test/regress/regress0/ite2.smt2 +++ b/test/regress/regress0/ite2.smt2 @@ -1,7 +1,3 @@ -% EXPECT-ERROR: Outstanding case split in theory arith -% EXPECT-ERROR: Outstanding case split in theory arith -% EXPECT: SAT -% EXIT: 10 (set-logic QF_LRA) (set-info :status sat) (declare-fun x () Real) |