projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44d4956) | patch
Fix three leaks in unit tests
authorAndres Notzli <andres.noetzli@gmail.com>
Sat, 5 Nov 2016 01:21:38 +0000 (18:21 -0700)
committerAndres Notzli <andres.noetzli@gmail.com>
Sat, 5 Nov 2016 05:24:25 +0000 (22:24 -0700)
commitc08aa1d05429ad0a293d708236d6d29afd3d02cc
tree728523b4689a1576c23c4895f175a34e46461c4ctree
parent44d49562a5a9d98e818aabc2943a84630560c8edcommit | diff
Fix three leaks in unit tests

The `testMultipleCollection` test case was allocating a
ListenerCollection without deleting it. The helper function
`countCommands` was not deleting the `Command`s returned from
`InteractiveShell::readCommand`. In the `testEmptyFileInput` and
`testSimpleFileInput` tests, the `filename` string was not deleted. This
commit fixes all issues.
test/unit/main/interactive_shell_black.h diff | blob | history
test/unit/parser/parser_builder_black.h diff | blob | history
test/unit/util/listener_black.h diff | blob | history