projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0335ae5) | patch
Fix segfault by making unit conflict CDMaybe
authorAndres Nötzli <andres.noetzli@gmail.com>
Fri, 16 Jun 2017 18:16:04 +0000 (11:16 -0700)
committerGitHub <noreply@github.com>
Fri, 16 Jun 2017 18:16:04 +0000 (11:16 -0700)
commit38df3307e0503d4b4c69c31e8688da1c03b80bde
treef16cead34a31927157f8230d8a3dbdbec08b5878tree
parent0335ae596244853ba35f7ae8c09caacdcf01f320commit | diff
Fix segfault by making unit conflict CDMaybe

This commit fixes bug 819 by making d_unitConflictId context dependent and adds a test case.
src/proof/sat_proof.h diff | blob | history
src/proof/sat_proof_implementation.h diff | blob | history
test/regress/regress0/push-pop/Makefile.am diff | blob | history
test/regress/regress0/push-pop/simple_unsat_cores.smt2 [new file with mode: 0644] blob