projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e032de7) | patch
Test proof granularity theory-rewrite by default (#8038)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 3 Feb 2022 20:58:20 +0000 (14:58 -0600)
committerGitHub <noreply@github.com>
Thu, 3 Feb 2022 20:58:20 +0000 (20:58 +0000)
commit6a6cd233b8fb91cb94c2550c0452979fa9286c8c
tree14600775f3cafbeb59fd55084444d2daa32668e8tree
parente032de7a66f789cdbe7ae964428ca5207ac89a07commit | diff
Test proof granularity theory-rewrite by default (#8038)

Recently we updated proof granularity to be macro by default, but we should test theory-rewrite granularity in our regressions.
test/regress/run_regression.py diff | blob | history