projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b47e13e) | patch
fix for clark's bug
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Jun 2012 19:09:37 +0000 (19:09 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Jun 2012 19:09:37 +0000 (19:09 +0000)
commitda1e7aaacab8dd4e9b80b752f362d190c1472543
tree637efe507b1a178420ef363464a9aa63bdfb7da6tree
parentb47e13e905458f6fbd112d3d201684f2766be6efcommit | diff
fix for clark's bug
imporant: theories SHOULD NOT use getSatValue at all, otherwise they might create a conflict with a literal they didn't get()
src/theory/bv/theory_bv.cpp diff | blob | history
test/regress/regress0/bv/Makefile.am diff | blob | history
test/regress/regress0/bv/fuzz18.delta03.smt [new file with mode: 0644] blob