projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42e503b) | patch
Disable proof testers for delicate regressions. (#8735)
authorAbdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
Sat, 7 May 2022 02:49:24 +0000 (21:49 -0500)
committerGitHub <noreply@github.com>
Sat, 7 May 2022 02:49:24 +0000 (02:49 +0000)
commit5e8f88d8a539b73e1777faadb2015f672fc011a0
tree401aff09594585445b29538f177c15283bf71faftree
parent42e503ba7d13c054f0b755a7fbda76abd3506f4bcommit | diff
Disable proof testers for delicate regressions. (#8735)

This PR disables regress2/nl/ufnia-factor-open-proof.smt2 benchmark which fails with some debug builds in the nightlies. We should consider adding an option to disable testers under certain build configs. This PR also ensures that the lfsc tester displays all the options used to generate the LFSC proof.
test/regress/cli/regress2/nl/ufnia-factor-open-proof.smt2 diff | blob | history
test/regress/cli/run_regression.py diff | blob | history