diff options
| author | Tim King <taking@cs.nyu.edu> | 2010-05-27 20:57:24 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2010-05-27 20:57:24 +0000 |
| commit | d2043244bb8413062382c4a782a97572560823ae (patch) | |
| tree | 3828af03f7f4967485e706a83539e509690c65c5 /test | |
| parent | bf69e71803eeab9ed3655b24cee597693f1b3ec0 (diff) | |
Reverting this file to not include any comments. (Morgan's revision and my revision were in conflict.)
Diffstat (limited to 'test')
| -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) |