summaryrefslogtreecommitdiff
path: root/test/regress/run_regression
AgeCommit message (Expand)Author
2011-03-15small fixes for run_regression script to workaround bug in old mktemp, was ca...Morgan Deters
2011-03-14change to the run_regression script to better manage temporary files; hopeful...Morgan Deters
2010-11-16SmtEngine now fails with a ModalException if --incremental is not enabledMorgan Deters
2010-10-10additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp...Morgan Deters
2010-10-04fix gdb issues (at least for static builds); resolves bug 194Morgan Deters
2010-08-20turn off extra-checking (which does extra theory-rewriter checking); it was e...Morgan Deters
2010-08-19UF theory bug fixes, code cleanup, and extra debugging output.Morgan Deters
2010-07-04don't do extra-checking for all regressions; that's probably a bad defaultMorgan Deters
2010-07-04With "-d extra-checking", rewrites are now checked (afterMorgan Deters
2010-06-30Support for failing .smt and .smt2 regressions (and other examples withMorgan Deters
2010-05-27added the ability to add custom expected stdout, stderr, and exit codes to sm...Morgan Deters
2010-05-03main driver supports .smt2 input, added an smt2 regression (currently broken,...Morgan Deters
2010-04-04* Addressed issues brought up in Chris's review of Morgan'sMorgan Deters
2010-04-04* Node::isAtomic() now looks at an "atomic" attribute of argumentsMorgan Deters
2010-02-09Changes to the CNF conversion and the SAT solver. All regression pass now, an...Dejan Jovanović
2010-02-04fix run_regression scriptMorgan Deters
2010-02-04test infrastructure updated for multiple-level regressionsMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback