diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-10-07 21:42:51 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-10-07 21:42:51 +0000 |
commit | 557e6c09dcc9068e848796772bc775542f4fc599 (patch) | |
tree | f20e6c9b1b6c7312e99ecc89d8a4d45bd64642aa /test/unit/parser | |
parent | f7668d89c65b66a8aa5b17a19f56831d48878298 (diff) |
NodeSelfIterator implementation and unit test (resolves bug #204); also fix ParserBlack unit test initialization
Diffstat (limited to 'test/unit/parser')
-rw-r--r-- | test/unit/parser/parser_black.h | 38 |
1 files changed, 34 insertions, 4 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 0e0835327..88a6eaf57 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -169,21 +169,33 @@ protected: } ParserBlack(InputLanguage lang) : - d_lang(lang), - d_exprManager(new ExprManager()) { + d_lang(lang) { } -public: - virtual ~ParserBlack() { + void setUp() { +cout << "SET UP\n"; + d_exprManager = new ExprManager; + } + + void tearDown() { delete d_exprManager; } }; class Cvc4ParserTest : public CxxTest::TestSuite, public ParserBlack { + typedef ParserBlack super; public: Cvc4ParserTest() : ParserBlack(LANG_CVC4) { } + void setUp() { + super::setUp(); + } + + void tearDown() { + super::tearDown(); + } + void testGoodCvc4Inputs() { tryGoodInput(""); // empty string is OK tryGoodInput("ASSERT TRUE;"); @@ -228,9 +240,19 @@ public: }; class SmtParserTest : public CxxTest::TestSuite, public ParserBlack { + typedef ParserBlack super; + public: SmtParserTest() : ParserBlack(LANG_SMTLIB) { } + void setUp() { + super::setUp(); + } + + void tearDown() { + super::tearDown(); + } + void testGoodSmtInputs() { tryGoodInput(""); // empty string is OK tryGoodInput("(benchmark foo :assumption true)"); @@ -286,6 +308,14 @@ class Smt2ParserTest : public CxxTest::TestSuite, public ParserBlack { public: Smt2ParserTest() : ParserBlack(LANG_SMTLIB_V2) { } + void setUp() { + super::setUp(); + } + + void tearDown() { + super::tearDown(); + } + void setupContext(Smt2& parser) { parser.addTheory(Smt2::THEORY_CORE); super::setupContext(parser); |