projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f9fb31) | patch
Fix CryptoMiniSat build, regression (#5006)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 2 Sep 2020 23:20:31 +0000 (16:20 -0700)
committerGitHub <noreply@github.com>
Wed, 2 Sep 2020 23:20:31 +0000 (18:20 -0500)
commit6411f92760a9116dec7e3390dd1d2f1bd8566e94
treee11ae0a24c157cf01dbcf287727240b4e75b7b8atree
parent0f9fb31069d51e003a39b0e93f506324dec2bdaccommit | diff
Fix CryptoMiniSat build, regression (#5006)

This commit fixes builds that include CryptoMiniSat after commit
8ad308b removed them. It also fixes one
of the regressions that requires unsat cores but was run when the build
was configured without them.
src/prop/cryptominisat.cpp diff | blob | history
test/regress/regress1/sygus-abduct-test-user.smt2 diff | blob | history