summaryrefslogtreecommitdiff
path: root/test/regress/run_regression.py
AgeCommit message (Expand)Author
2021-05-21Fix tests of unsat cores (#6593)Andrew Reynolds
2021-04-15Rename occurrences of CVC4 to CVC5. (#6351)Aina Niemetz
2021-04-12Refactor and update copyright headers. (#6316)Aina Niemetz
2021-04-09Rename CVC4_ macros to CVC5_. (#6327)Aina Niemetz
2021-04-09Avoid spurious runs in run_regression.py (#6318)Andrew Reynolds
2021-04-08Fix run_regression for cvc expected outputs (#6317)Andrew Reynolds
2021-03-23Removing unused build options and deprecated proof compile flag (#6195)Haniel Barbosa
2021-03-16ci: Enable checking of proofs + unsat cores. (#6088)Mathias Preiner
2021-03-09Update copyright headers to 2021. (#6081)Aina Niemetz
2020-12-03Make run_regression.py executable. (#5588)Gereon Kremer
2020-12-02Update copyright headers.Aina Niemetz
2020-10-28run_regression.py to fail on invalid requirements (#5264)yoni206
2020-10-27run_regression: Add --skip-timeout option, lower timeout to 600 seconds. (#5...Mathias Preiner
2020-09-22Update copyright header script to support CMake and Python files (#5067)Mathias Preiner
2020-08-19[Regressions] Do not test `--check-proofs` anymore (#4914)Andres Noetzli
2020-05-20Use debug-check-model to enable internal debugging in check-model (#4480)Andrew Reynolds
2020-03-05Make output of regression script more readable (#3911)Andres Noetzli
2020-02-11run_regression: Distinguish between timeout and failure. (#3750)Mathias Preiner
2020-02-03Increase regression test time limit to 1200s. (#3704)Aina Niemetz
2019-11-06[Regressions] Remove leading whitespace in output (#3444)Andres Noetzli
2019-11-04[Regressions] Support for running w/ default args (#3436)Andres Noetzli
2019-10-03Disable proofs for unsupported logics (#3327)yoni206
2019-08-13Implement check abduct feature (#3152)Andrew Reynolds
2019-08-04Fix regression script for incremental SMT-LIB v2 benchmarks. (#3155)Mathias Preiner
2019-07-30Remove hard coded option for TPTP regressions in run_regression (#3128)Haniel Barbosa
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