projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe5693c) | patch
Fixing a memory leak of the ProofManager.
authorTim King <taking@google.com>
Tue, 26 Apr 2016 17:52:15 +0000 (10:52 -0700)
committerTim King <taking@google.com>
Tue, 26 Apr 2016 17:52:15 +0000 (10:52 -0700)
commita9561238ac2ce5fc0bcd7f81368057181adf971e
tree0b9aa1b045c66dff033f2ade4fb5080f33f30c52tree
parentfe5693cac331c5eebe3da42406aa9217fb4787ffcommit | diff
Fixing a memory leak of the ProofManager.
src/smt/smt_engine.cpp diff | blob | history