projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25e7712) | patch
Fix get-unsat-core detection in regression script (#1773)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 14 Apr 2018 08:28:17 +0000 (01:28 -0700)
committerGitHub <noreply@github.com>
Sat, 14 Apr 2018 08:28:17 +0000 (01:28 -0700)
commita30140b1e5e270606c7e53db96d81ecbfba6d7d5
treee5ab3aa0d4e567a7d0168256d6b35673ac2ab3d4tree
parent25e77125743b97b9f36d2344a3b5598ab64223b9commit | diff
Fix get-unsat-core detection in regression script (#1773)

Due to a typo in the regression script, the (get-unsat-core) command was
not recognized (the script was looking for (get-unsat-cores)), so it
tried to run a regression script containing (get-unsat-core) even when
CVC4 was compiled without proof support. This commit fixes the typo.
test/regress/run_regression.py diff | blob | history