Changing some deatils on the parser. Now we know we are done if command is null, or expression is null.

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