projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eeb78c8) | patch
Refactor regressions script (#7249)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 21 Oct 2021 15:34:26 +0000 (08:34 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 15:34:26 +0000 (15:34 +0000)
commitf01ff9cf9d966a758ab60e186c0811bf59e57b72
tree7e42a559b17420b32e722fcf76de5249effd163dtree
parenteeb78c833af50c49fd581704b03fd3c500360c3dcommit | diff
Refactor regressions script (#7249)

This makes the regression script more modular by refactoring all the
different checks into separate classes, which makes it easier to add
additional tests and to run only a subset of the tests.
.github/workflows/ci.yml diff | blob | history
test/regress/regress1/nl/approx-sqrt-unsat.smt2 diff | blob | history
test/regress/run_regression.py diff | blob | history