diff options
| author | Morgan Deters <mdeters@gmail.com> | 2011-04-20 11:19:50 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2011-04-20 11:19:50 +0000 |
| commit | 2499bd64a5ac688573ebbcd6114983f64a8094eb (patch) | |
| tree | 0d49608cf7c21298fbeb8606fa1943c96beb8652 /test/unit/parser/parser_black.h | |
| parent | 5a98094e8eee680d4f489e901107dfc484a1679f (diff) | |
numerous bugfixes
Diffstat (limited to 'test/unit/parser/parser_black.h')
| -rw-r--r-- | test/unit/parser/parser_black.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index f288f6b1a..632db2b91 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -200,6 +200,7 @@ public: void testGoodCvc4Inputs() { tryGoodInput(""); // empty string is OK + tryGoodInput(";"); // no command is OK tryGoodInput("ASSERT TRUE;"); tryGoodInput("QUERY TRUE;"); tryGoodInput("CHECKSAT FALSE;"); @@ -219,7 +220,6 @@ public: } void testBadCvc4Inputs() { - tryBadInput(";"); // no command tryBadInput("ASSERT;"); // no args tryBadInput("QUERY"); tryBadInput("CHECKSAT"); |