diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-11 11:51:07 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-11 11:51:07 -0500 |
| commit | 8918399152f1121938c336f90724631b07e2c549 (patch) | |
| tree | 376ef2fafcd7d870e247325ed0fdadbceaa1b08c | |
| parent | 5df7d235ce1d57e9d78e66ee66ab0d3b53ca3fcd (diff) | |
Expanded usefulness of (set-info :cvc4-logic ...)
| -rw-r--r-- | src/parser/smt2/Smt2.g | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index c7e088124..f3855e713 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -236,6 +236,9 @@ command returns [CVC4::Command* cmd = NULL] $cmd = new SetBenchmarkLogicCommand(name); } | SET_INFO_TOK KEYWORD symbolicExpr[sexpr] { name = AntlrInput::tokenText($KEYWORD); + if(name == ":cvc4-logic" || name == ":cvc4_logic") { + PARSER_STATE->setLogic(sexpr.getValue()); + } PARSER_STATE->setInfo(name.c_str() + 1, sexpr); cmd = new SetInfoCommand(name.c_str() + 1, sexpr); } | /* get-info */ |