projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8142799) | patch
Added PtrCloser guards for constructNodePtr. This ensures garbage collection on type...
authorTim King <taking@google.com>
Thu, 10 Nov 2016 17:40:23 +0000 (09:40 -0800)
committerTim King <taking@google.com>
Thu, 10 Nov 2016 17:40:23 +0000 (09:40 -0800)
commit13be3be39454a3cf7b05c4399a53bd2dd27996f6
tree9689de115cb5c4c362a2cc5f7f83b6a47aab1cb6tree
parent8142799520aa07d6134314761de9d47ac14d27b0commit | diff
Added PtrCloser guards for constructNodePtr. This ensures garbage collection on type checking exceptions.
src/expr/node_builder.h diff | blob | history