diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-01 21:58:47 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-01 21:58:47 +0000 |
| commit | 595eb7e203d27a9b24a2b71808bc79dab76fa7ba (patch) | |
| tree | 18460cf3d1596edf80c61610014b2fe196f0d78b /test/unit/parser | |
| parent | 1b1e9acfad453c50151f6c6465e5eabbac075f19 (diff) | |
Fixing the CVC grammar for parsing Boolean expressions. All the associativity stufff is now in the grammar. All the parser tests pass now.
Diffstat (limited to 'test/unit/parser')
| -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 6db3b770b..8a1f781dc 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -99,7 +99,7 @@ const string smtExprContext = "(benchmark foo :extrapreds ((a) (b) (c)) )"; const string goodSmtExprs[] = { "(and a b)", "(or (and a b) c)", - "(implies (and (implies a b) a) b))", + "(implies (and (implies a b) a) b)", "(and (iff a b) (not a))", "(iff (xor a b) (and (or a b) (not (and a b))))" }; |