projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b2d909) | patch
remove assertion in TNode destructor and ensure all TNode methods check rc > 0 (resol...
authorMorgan Deters <mdeters@gmail.com>
Tue, 21 Sep 2010 22:40:50 +0000 (22:40 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 21 Sep 2010 22:40:50 +0000 (22:40 +0000)
commit818d7fc74583965e87c35360c2fed890844efbba
tree07d282fbc4f5e1641f4faa82f47bb9e5b1cc25c6tree
parent2b2d9092eea1f50b468e459029dcfdd88e2232dacommit | diff
remove assertion in TNode destructor and ensure all TNode methods check rc > 0 (resolves bug #200); on NodeManager/ExprManager side, no more prepareToBeDestroyed() / inDestruction
src/expr/expr_manager_template.cpp diff | blob | history
src/expr/expr_manager_template.h diff | blob | history
src/expr/node.h diff | blob | history
src/expr/node_manager.cpp diff | blob | history
src/expr/node_manager.h diff | blob | history
src/main/main.cpp diff | blob | history