projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 854294d) | patch
remove an obsolete (and incorrect) assertion in boolean-terms; also add failing regre...
authorMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 12:42:18 +0000 (12:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 1 Dec 2012 12:42:18 +0000 (12:42 +0000)
commit557d4c2d3dd0f9f0210b9438c952903635248357
tree720762bbcb0d7edada8029ab642021dc9171b454tree
parent854294d184059b84bbc7c2d0b8cab175ae2140d5commit | diff
remove an obsolete (and incorrect) assertion in boolean-terms; also add failing regression for bug 472
src/smt/boolean_terms.cpp diff | blob | history
test/regress/regress0/bug472.smt2 [new file with mode: 0644] blob