projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4961abf) | patch
This switches the ZombieSet in the NodeManager to use NodeValue's id for equality...
authorTim King <taking@google.com>
Mon, 7 Nov 2016 00:05:29 +0000 (16:05 -0800)
committerTim King <taking@google.com>
Mon, 7 Nov 2016 00:06:53 +0000 (16:06 -0800)
commit8be2d02f510e329d88e38889720334c277bf268c
tree60ffaa576d6a63beafc8ac8c5ea3d66f59f67b0btree
parent4961abfa9bec88a2e15fc3078e2bd8a5bb258f93commit | diff
This switches the ZombieSet in the NodeManager to use NodeValue's id for equality comparison. The previously used function NodeValueEq incorrectly identified VARIABLE nodes as being equal. This meant that on hash collisions these nodes could leak memory.
src/expr/metakind_template.h diff | blob | history
src/expr/node_manager.h diff | blob | history
src/expr/node_value.h diff | blob | history