diff options
Diffstat (limited to 'test/unit/parser/parser_black.h')
-rw-r--r-- | test/unit/parser/parser_black.h | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 1b05f490e..f7d4eff24 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -170,7 +170,7 @@ class ParserBlack : public CxxTest::TestSuite { } catch (Exception& e) { cout << "\nGood input failed:\n" << goodInputs[i] << endl << e << endl; - throw e; + throw; } } @@ -226,6 +226,7 @@ class ParserBlack : public CxxTest::TestSuite { ( smtParser->parseNextExpression(); cout << "\nBad expr succeeded: " << badBooleanExprs[i] << endl;, ParserException ); + delete smtParser; } //Debug.off("parser"); } @@ -235,6 +236,10 @@ public: d_exprManager = new ExprManager(); } + void tearDown() { + delete d_exprManager; + } + void testGoodCvc4Inputs() { tryGoodInputs(Parser::LANG_CVC4,goodCvc4Inputs,numGoodCvc4Inputs); } |