diff options
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); |