projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 61415ee) | patch
In TheoryArithPrivate::vectorToIntHoleConflict, adding check for whether or not negBa...
authorTim King <tim.king@imag.fr>
Fri, 12 Jun 2015 15:11:29 +0000 (17:11 +0200)
committerTim King <tim.king@imag.fr>
Fri, 12 Jun 2015 15:11:29 +0000 (17:11 +0200)
commit2a76e73bb626983c7b12ea83fed7a6f371011985
treea2a43674375f2247e6d898ec378b438d1aa3f94btree
parent61415ee2c5659893055f71d84a38eab8701dc47acommit | diff
In TheoryArithPrivate::vectorToIntHoleConflict, adding check for whether or not negBack is already in conflict. This is needed as it can be called multiple times on the same constraint.
src/theory/arith/theory_arith_private.cpp diff | blob | history