projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ca6342) | patch
Fix incorrect assertion in prop engine proofs (#8204)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 2 Mar 2022 20:36:36 +0000 (14:36 -0600)
committerGitHub <noreply@github.com>
Wed, 2 Mar 2022 20:36:36 +0000 (20:36 +0000)
commitedfcb4be0617bd28eb9379d8bfe49524ecde3ec1
tree7353ee87e98470a7203ed7688ab47c98eeafee05tree
parent4ca634218d48a79983ee789fb132d3ffa5ea872fcommit | diff
Fix incorrect assertion in prop engine proofs (#8204)

Leftover from when unsat cores mode was tied to proof mode.

Fixes cvc5/cvc5-projects#462.
src/prop/prop_engine.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/proofs/proj-issue462-sat-proof-option.smt2 [new file with mode: 0644] blob