From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 24 Jun 2019 10:23:15 +0000 (-0700)
Subject: Fix memory leak in unit test (#3068)
X-Git-Tag: cvc5-1.0.0~4104
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d6664a43c8ea3400b0f38797c937568d8d0ca2a;p=cvc5.git

Fix memory leak in unit test (#3068)

PR #3062 changed `Smt2::setLogic()` to return a heap-allocated command,
which didn't get cleaned up by our `parser_black` unit test. This commit
fixes the memory leak.
---

diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h
index f2f5f24b6..13beedd63 100644
--- a/test/unit/parser/parser_black.h
+++ b/test/unit/parser/parser_black.h
@@ -141,7 +141,8 @@ class ParserBlack
       if (d_lang == LANG_SMTLIB_V2)
       {
         // Use QF_LIA to make multiplication ("*") available
-        static_cast<Smt2*>(parser)->setLogic("QF_LIA");
+        std::unique_ptr<Command> cmd(
+            static_cast<Smt2*>(parser)->setLogic("QF_LIA"));
       }
 
       TS_ASSERT(!parser->done());