diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-05-27 20:46:50 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-05-27 20:46:50 +0000 |
| commit | bf69e71803eeab9ed3655b24cee597693f1b3ec0 (patch) | |
| tree | 1b46b93e110d7ef0d297f876bbd377dfc3854620 /test/regress/regress0/ite2.smt2 | |
| parent | d1acfe81a013d1f8960bd0267dcd685185ffc785 (diff) | |
added the ability to add custom expected stdout, stderr, and exit codes to smt and smt2 regressions; resolves bug 132
Diffstat (limited to 'test/regress/regress0/ite2.smt2')
| -rw-r--r-- | test/regress/regress0/ite2.smt2 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/regress0/ite2.smt2 b/test/regress/regress0/ite2.smt2 index ada94531d..9bcac2ec8 100644 --- a/test/regress/regress0/ite2.smt2 +++ b/test/regress/regress0/ite2.smt2 @@ -1,3 +1,7 @@ +% 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) |