diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:46:32 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:46:32 +0000 |
commit | 2b7a6d2f2bcb26c0b5641bf7d0258c9fc9796c17 (patch) | |
tree | c939500d9815de668a27e8d77b79d9bcdc169c05 /src/parser/cvc/cvc_parser.g | |
parent | bff4e3eb99ce8d70f826d95aff452971f42f26f0 (diff) |
Push/Pop parsing and commands
Diffstat (limited to 'src/parser/cvc/cvc_parser.g')
-rw-r--r-- | src/parser/cvc/cvc_parser.g | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/parser/cvc/cvc_parser.g b/src/parser/cvc/cvc_parser.g index 30df2d439..7f4ce3c26 100644 --- a/src/parser/cvc/cvc_parser.g +++ b/src/parser/cvc/cvc_parser.g @@ -76,6 +76,8 @@ command returns [CVC4::Command* cmd = 0] | QUERY f = formula SEMICOLON { cmd = new QueryCommand(f); } | CHECKSAT f = formula SEMICOLON { cmd = new CheckSatCommand(f); } | CHECKSAT SEMICOLON { cmd = new CheckSatCommand(getTrueExpr()); } + | PUSH SEMICOLON { cmd = new PushCommand(); } + | POP SEMICOLON { cmd = new PopCommand(); } | cmd = declaration | EOF ; |