diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-18 20:40:02 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2009-12-18 20:40:02 +0000 |
commit | 9d57ed6b7e78373bec9db88adfb9878e377abb97 (patch) | |
tree | 9671948a7fb6023b3e33826548bcf604395ae696 /test/unit | |
parent | deaeed0271fcaa39c071ced30fb21946ca2e6d0f (diff) |
Changing some deatils on the parser. Now we know we are done if command is null, or expression is null.
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/parser/parser_black.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index 645882724..1d4afbb7c 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -81,13 +81,13 @@ const int numBadCvc4Exprs = sizeof(badCvc4Exprs) / sizeof(string); const string goodSmtInputs[] = { "", // empty string is OK - "(benchmark foo :assume true)", + "(benchmark foo :assumption true)", "(benchmark bar :formula true)", "(benchmark qux :formula false)", "(benchmark baz :extrapreds ( (a) (b) ) )", "(benchmark zab :extrapreds ( (a) (b) ) :formula (implies (and (implies a b) a) b))", ";; nothing but a comment", - "; a comment\n)(benchmark foo ; hello\n :formula true; goodbye\n)" + "; a comment\n(benchmark foo ; hello\n :formula true; goodbye\n)" }; const int numGoodSmtInputs = sizeof(goodSmtInputs) / sizeof(string); |