projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d7fba3b) | patch
Changing a set of TNodes to a set of Nodes in the BV inequality solver. The ref count...
authorTim King <taking@google.com>
Thu, 29 Dec 2016 23:43:04 +0000 (15:43 -0800)
committerTim King <taking@google.com>
Thu, 29 Dec 2016 23:43:04 +0000 (15:43 -0800)
commitb8b51a0c359628d7202a8a5ff0c2a4beb4c041e9
tree10a0d5b6cc7df2a27f3ffe7df95c0d542f4162edtree
parentd7fba3b8370daa65f368b5982041f53252b6428ccommit | diff
Changing a set of TNodes to a set of Nodes in the BV inequality solver. The ref count of the TNodes in the set can become 0. Set operations containing garbage collected TNodes could then fail.
src/theory/bv/bv_subtheory_inequality.h diff | blob | history