projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46591b1) | patch
Fix memory leak in unit test node_algorithm_black (#4670)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 29 Jun 2020 20:01:09 +0000 (13:01 -0700)
committerGitHub <noreply@github.com>
Mon, 29 Jun 2020 20:01:09 +0000 (15:01 -0500)
commit8799bd979c40477d250cada8b498ce344ae61ab6
treef9008f4e04a8aee9c142e36f3a5e126d311ab1d1tree
parent46591b1c92fc9ecd4a0997242030a1a48166301bcommit | diff
Fix memory leak in unit test node_algorithm_black (#4670)

Commit ccd4500 modified the unit test
node_algorithm_black. It added d_bvTypeNode as a data member to the
class and initialized it in setUp() but did not free it in
tearDown(), which set off ASan. This commit fixes tearDown() to free
d_bvTypeNode.

Marking this as major because it should fix the nightlies.
test/unit/expr/node_algorithm_black.h diff | blob | history