diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-02 20:04:18 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-02-02 20:04:18 +0000 |
| commit | 86716e3782aae62a38987f7f89bdf5498eca534a (patch) | |
| tree | ac2d524141bfc486351dcd5b092e3ebcbc3a0b3a /test | |
| parent | a1ee56b7d09b4f6430a048c53a3b5bd0a194357f (diff) | |
Minor changes to parser
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 8a1f781dc..dbfd13598 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -133,7 +133,7 @@ class SmtParserBlack : public CxxTest::TestSuite { void tryGoodInputs(Parser::InputLanguage d_lang, const string goodInputs[], int numInputs) { for(int i = 0; i < numInputs; ++i) { - cout << "Testing input: '" << goodInputs[i] << "'\n"; + cout << "Testing good input: '" << goodInputs[i] << "'\n"; istringstream stream(goodInputs[i]); Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); TS_ASSERT( !smtParser->done() ); @@ -149,7 +149,7 @@ class SmtParserBlack : public CxxTest::TestSuite { void tryBadInputs(Parser::InputLanguage d_lang, const string badInputs[], int numInputs) { for(int i = 0; i < numInputs; ++i) { - cout << "Testing input: '" << badInputs[i] << "'\n"; + cout << "Testing bad input: '" << badInputs[i] << "'\n"; istringstream stream(badInputs[i]); Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); TS_ASSERT_THROWS( while(smtParser->parseNextCommand()); , ParserException ); @@ -161,7 +161,7 @@ class SmtParserBlack : public CxxTest::TestSuite { cout << "Using context: " << context << endl; for(int i = 0; i < numExprs; ++i) { try { - cout << "Testing expr: '" << goodBooleanExprs[i] << "'\n"; + cout << "Testing good expr: '" << goodBooleanExprs[i] << "'\n"; istringstream stream(context + goodBooleanExprs[i]); Parser* parser = Parser::getNewParser(d_exprManager, d_lang, stream); TS_ASSERT( !parser->done() ); @@ -184,7 +184,7 @@ class SmtParserBlack : public CxxTest::TestSuite { void tryBadExprs(Parser::InputLanguage d_lang,const string badBooleanExprs[], int numExprs) { for(int i = 0; i < numExprs; ++i) { - cout << "Testing expr: '" << badBooleanExprs[i] << "'\n"; + cout << "Testing bad expr: '" << badBooleanExprs[i] << "'\n"; istringstream stream(badBooleanExprs[i]); Parser* smtParser = Parser::getNewParser(d_exprManager, d_lang, stream); TS_ASSERT_THROWS( smtParser->parseNextExpression(), ParserException ); |