projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d1acfe8) | patch
added the ability to add custom expected stdout, stderr, and exit codes to smt and...
authorMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 20:46:50 +0000 (20:46 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 27 May 2010 20:46:50 +0000 (20:46 +0000)
commitbf69e71803eeab9ed3655b24cee597693f1b3ec0
tree1b46b93e110d7ef0d297f876bbd377dfc3854620tree
parentd1acfe81a013d1f8960bd0267dcd685185ffc785commit | diff
added the ability to add custom expected stdout, stderr, and exit codes to smt and smt2 regressions; resolves bug 132
test/regress/regress0/ite2.smt2 diff | blob | history
test/regress/run_regression diff | blob | history