projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a4c2248) | patch
Fix memory leak in bvminisat (#1710)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 26 Mar 2018 19:34:05 +0000 (12:34 -0700)
committerGitHub <noreply@github.com>
Mon, 26 Mar 2018 19:34:05 +0000 (12:34 -0700)
commit8b5b4e7c9df5bd9d5959c7c92a5b28c951881d49
tree7aa1cd6abc54c4ca9c44f91daedcbbaefef48819tree
parenta4c2248a49506f60d555cbd7b99784b20ff02aefcommit | diff
Fix memory leak in bvminisat (#1710)

While reviewing #1695, I realized that bvminisat is leaking memory for
each call to setNotify(). This commit uses std::unique_ptr to fix the
issue. It also adds std::unique_ptr to manage d_minisat.
src/prop/bvminisat/bvminisat.cpp diff | blob | history
src/prop/bvminisat/bvminisat.h diff | blob | history