projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 252a8fb) | patch
Fix memory leak in unit test (#3068)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 24 Jun 2019 10:23:15 +0000 (03:23 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 24 Jun 2019 10:23:15 +0000 (03:23 -0700)
commit5d6664a43c8ea3400b0f38797c937568d8d0ca2a
tree8f887e41a643ccb6e2ece90e52333f4cac1d7e53tree
parent252a8fb4323fed6eb621a4f88a06abfc39307b76commit | diff
Fix memory leak in unit test (#3068)

PR #3062 changed `Smt2::setLogic()` to return a heap-allocated command,
which didn't get cleaned up by our `parser_black` unit test. This commit
fixes the memory leak.
test/unit/parser/parser_black.h diff | blob | history