projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c86021) | patch
Fix memory leak in quantifiers engine (#1219)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 10 Oct 2017 21:45:36 +0000 (14:45 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Oct 2017 21:45:36 +0000 (14:45 -0700)
commitb7d0c09bd12b9d0f46deab199714ce3441206d7f
treec894889a35ce3f5b446e9d160af88e74aeb4c63etree
parent8c860213ca3a43e1fe483accb4b2b928ae14028ecommit | diff
Fix memory leak in quantifiers engine (#1219)

Commit 96a0bc3b022b67b5ab79bf2ab087573c65a8d248 introduced a memory leak
where d_quant_attr was not deleted when the QuantifiersEngine was
destroyed. This commit fixes the issue by turning d_quant_attr into an
std::unique_ptr.
src/theory/quantifiers_engine.cpp diff | blob | history
src/theory/quantifiers_engine.h diff | blob | history