diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-04-13 15:53:44 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-13 15:53:44 -0700 |
| commit | f2e126e7b2d48a9a12f854300f0711a8c0462d23 (patch) | |
| tree | 932d0ec354c74c75cf96ddeaa15c3b434d50c2a9 /configure.ac | |
| parent | 781bfd65daec2932b7836259b3484ac500edb46a (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.
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions