projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dfb4a4a) | patch
[Regressions] Add directive for disabling testers (#7892)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 7 Jan 2022 04:13:56 +0000 (20:13 -0800)
committerGitHub <noreply@github.com>
Fri, 7 Jan 2022 04:13:56 +0000 (20:13 -0800)
commit8a937aee4b238eb23c5358b3534f3e3a770ed057
treead1b355445ac8141c01d19bb63d4bfff6e7b4dabtree
parentdfb4a4a988ffcc39f41c5cb9c74c7ffc9ed74513commit | diff
[Regressions] Add directive for disabling testers (#7892)

This commit adds a directive for regressions (`DISABLE-TESTER`) that
allows disabling a given tester for a regression. Currently, we disable
testers based on properties such as command line arguments, which can be
error prone.
test/regress/README.md diff | blob | history
test/regress/run_regression.py diff | blob | history