projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1d9bed) | patch
Fix memory leak in rewriter (debug mode). (#3141)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 1 Aug 2019 20:07:18 +0000 (13:07 -0700)
committerGitHub <noreply@github.com>
Thu, 1 Aug 2019 20:07:18 +0000 (13:07 -0700)
commit08c1ed76932102948bca5157a5da64033ea1c408
treed6a89eb68e583aa41f4f3b932275c8b72069b1a8tree
parentc1d9bed7f73db9567f635f59cde134795e65c9bacommit | diff
Fix memory leak in rewriter (debug mode). (#3141)

s_rewriteStack in rewriter.cpp was not properly cleaned up. This commit
wraps s_rewriteStack in a std::unique_ptr to automatically free the
memory.
src/theory/rewriter.cpp diff | blob | history