projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d524948) | patch
Move slow regression to regress3 (#6451)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 27 Apr 2021 21:58:25 +0000 (16:58 -0500)
committerGitHub <noreply@github.com>
Tue, 27 Apr 2021 21:58:25 +0000 (21:58 +0000)
commit145d58ae0146ba591cd0d5531208e78abd849019
tree97e6495fb68ff917ff4530e6b24876a54e4a4e36tree
parentd524948b58c4c3f61c623649049f6209b7756ed6commit | diff
Move slow regression to regress3 (#6451)

Benchmark is taking 40 seconds on production, due to the configuration that tests --check-unsat-cores.
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress2/hole10.cvc [deleted file] blob | history
test/regress/regress3/hole10.cvc [new file with mode: 0644] blob