projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd30200) | patch
bug 374 (was found through fuzzing 2012-07-18)
authorKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 16 Aug 2012 21:40:41 +0000 (21:40 +0000)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Thu, 16 Aug 2012 21:40:41 +0000 (21:40 +0000)
commit7b624d5052e196eb7d465a1979263fa1e3376f65
treec7dcab7eb01c522d0188d0ffe3a945f3fdb312bbtree
parentdd30200795d4b37398c29f0d20998c9bd63a7fe7commit | diff
bug 374 (was found through fuzzing 2012-07-18)

"Possible soundness problem somewhere in the solver
(assertion failure in DE)"
test/regress/regress0/bug374.delta01.smt [new file with mode: 0644] blob
test/regress/regress0/bug374.smt [new file with mode: 0644] blob