projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6364f7) | patch
Fixing a memory leak in the CnfStream unit tests.
authorTim King <taking@google.com>
Mon, 7 Nov 2016 19:10:17 +0000 (11:10 -0800)
committerTim King <taking@google.com>
Mon, 7 Nov 2016 19:10:17 +0000 (11:10 -0800)
commit6e61a7ad085774c222afa9ffcd2602b827883556
tree4cd3407b10c6c7eda156954ff98de771e979d69atree
parente6364f7d8f368f9c03857fa433ea452b58e54514commit | diff
Fixing a memory leak in the CnfStream unit tests.
src/prop/cnf_stream.h diff | blob | history
test/unit/prop/cnf_stream_white.h diff | blob | history