summaryrefslogtreecommitdiff
path: root/test/regress/run_regression.py
AgeCommit message (Expand)Author
2018-10-04Only use SKIP_RETURN_CODE with CMake 3.9.0+ (#2590)Andres Noetzli
2018-10-02cmake: Display skipped tests as not run (#2567)Andres Noetzli
2018-08-24Add tests that enumerate and verify rewrite rules (#2344)Andres Noetzli
2018-08-20Remove support for *.expect files in regressions (#2341)Andres Noetzli
2018-08-18run-regress script: Exit with exit code > 0 on failure. (#2336)Aina Niemetz
2018-06-20Check unsat cores in regressions also without LFSC (#1955)Andres Noetzli
2018-06-08Add flag to skip regression if feature enabled (#2062)Andres Noetzli
2018-06-04Regressions: Support for requiring CVC4 features (#2044)Andres Noetzli
2018-05-10Support multiple sets of command line args in regs (#1902)Andres Noetzli
2018-04-20Enforcing --no-bv-eq, --no-bv-algebraic and --no-bv-ineq when proofs are enab...yoni206
2018-04-20Allow metadata lines in test files to have leading spaces (#1799)yoni206
2018-04-16Add timeout (option) to regression script (#1786)Andres Noetzli
2018-04-14[Reg] Make status/unsat-core detection more robust (#1775)Andres Noetzli
2018-04-14Fix get-unsat-core detection in regression script (#1773)Andres Noetzli
2018-04-13Fix issue in regression script when proofs enabled (#1770)Andres Noetzli
2018-04-05 Python regression script (#1662)Andres Noetzli
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback