diff options
| author | Morgan Deters <mdeters@gmail.com> | 2010-02-27 23:46:38 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2010-02-27 23:46:38 +0000 |
| commit | cc6802ff819de5643ab87afc0839b584ddad63b2 (patch) | |
| tree | ef197abe5e21c251388e74aeda94be0629d89182 /test | |
| parent | 0eb82499822544f96877f317bbbcd4cb7c644614 (diff) | |
fix compile error in black parser unit test after today's change to parser code
Diffstat (limited to 'test')
| -rw-r--r-- | test/unit/parser/parser_black.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 150d88306..1b05f490e 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -158,7 +158,7 @@ class ParserBlack : public CxxTest::TestSuite { // cout << "Testing good input: '" << goodInputs[i] << "'\n"; // Debug.on("parser"); istringstream stream(goodInputs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT( !smtParser->done() ); Command* cmd; while((cmd = smtParser->parseNextCommand())) { @@ -180,7 +180,7 @@ class ParserBlack : public CxxTest::TestSuite { for(int i = 0; i < numInputs; ++i) { // cout << "Testing bad input: '" << badInputs[i] << "'\n"; istringstream stream(badInputs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT_THROWS ( while(smtParser->parseNextCommand()); cout << "\nBad input succeeded:\n" << badInputs[i] << endl;, @@ -196,7 +196,7 @@ class ParserBlack : public CxxTest::TestSuite { // cout << "Testing good expr: '" << goodBooleanExprs[i] << "'\n"; // Debug.on("parser"); istringstream stream(context + goodBooleanExprs[i]); - Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT( !parser->done() ); Command* cmd = parser->parseNextCommand(); TS_ASSERT( !parser->done() ); @@ -221,7 +221,7 @@ class ParserBlack : public CxxTest::TestSuite { for(int i = 0; i < numExprs; ++i) { // cout << "Testing bad expr: '" << badBooleanExprs[i] << "'\n"; istringstream stream(context + badBooleanExprs[i]); - Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); + Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream, "test"); TS_ASSERT_THROWS ( smtParser->parseNextExpression(); cout << "\nBad expr succeeded: " << badBooleanExprs[i] << endl;, |