From d8ce5358ad4d40eb2d86fe17fead9dc258d155b5 Mon Sep 17 00:00:00 2001 From: Tim King Date: Sun, 13 Nov 2016 00:33:40 -0800 Subject: [PATCH] Deleting a parsed Command in the interactive_shell_black test. --- test/unit/main/interactive_shell_black.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/test/unit/main/interactive_shell_black.h b/test/unit/main/interactive_shell_black.h index 9ac81781c..5e9d43dd4 100644 --- a/test/unit/main/interactive_shell_black.h +++ b/test/unit/main/interactive_shell_black.h @@ -26,6 +26,7 @@ #include "options/language.h" #include "options/options.h" #include "parser/parser_builder.h" +#include "smt/command.h" using namespace CVC4; using namespace std; @@ -97,9 +98,10 @@ private: InteractiveShell shell(*d_exprManager, d_options); /* readCommand may return a sequence, see above. */ *d_sin << "x : REAL;\n" << flush; - shell.readCommand(); + Command* tmp = shell.readCommand(); *d_sin << "ASSERT x > 0;\n" << flush; countCommands( shell, 1, 1 ); + delete tmp; } void testEmptyLine() { -- 2.30.2