projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6d75ab) | patch
Bug fix:
authorGuy <katz911@gmail.com>
Tue, 26 Jul 2016 23:37:57 +0000 (16:37 -0700)
committerGuy <katz911@gmail.com>
Tue, 26 Jul 2016 23:37:57 +0000 (16:37 -0700)
commit90312eb079b1f70ea4d8d229f66273a66a1b7ab1
tree27655ab10aee46391ed85af7656db80a6961f68ftree
parente6d75ab22dfb56df202b916ecd9b4327f931c782commit | diff
Bug fix:
If a lemma (a disjunction) has a "false" literal in it, it can be ignored, but a "true" literal really should stay
src/proof/proof_manager.cpp diff | blob | history