diff options
author | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-04 18:21:38 -0700 |
---|---|---|
committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-04 22:24:25 -0700 |
commit | c08aa1d05429ad0a293d708236d6d29afd3d02cc (patch) | |
tree | 728523b4689a1576c23c4895f175a34e46461c4c /proofs | |
parent | 44d49562a5a9d98e818aabc2943a84630560c8ed (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.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions