projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 781bfd6) | patch
Fix issue in regression script when proofs enabled (#1770)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 13 Apr 2018 22:53:44 +0000 (15:53 -0700)
committerGitHub <noreply@github.com>
Fri, 13 Apr 2018 22:53:44 +0000 (15:53 -0700)
commitf2e126e7b2d48a9a12f854300f0711a8c0462d23
tree932d0ec354c74c75cf96ddeaa15c3b434d50c2a9tree
parent781bfd65daec2932b7836259b3484ac500edb46acommit | diff
Fix issue in regression script when proofs enabled (#1770)

There were two issues in the new Python regression script when proofs
were enabled: It would try to run "--check-proofs" on SAT benchmarks and
the parameters added to check unsat cores were wrong. This commit fixes
both issues.
test/regress/run_regression.py diff | blob | history