diff options
Diffstat (limited to 'src/parser/smt2/Smt2.g')
| -rw-r--r-- | src/parser/smt2/Smt2.g | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/parser/smt2/Smt2.g b/src/parser/smt2/Smt2.g index 03aa7acc1..fb97d5d1e 100644 --- a/src/parser/smt2/Smt2.g +++ b/src/parser/smt2/Smt2.g @@ -355,6 +355,16 @@ command returns [CVC4::Command* cmd = NULL] PARSER_STATE->parseError("Extended commands are not permitted while operating in strict compliance mode."); } } + + /* error handling */ + | SIMPLE_SYMBOL + { std::string id = AntlrInput::tokenText($SIMPLE_SYMBOL); + if(id == "benchmark") { + PARSER_STATE->parseError("In SMT-LIBv2 mode, but got something that looks like SMT-LIBv1. Use --lang smt1 for SMT-LIBv1."); + } else { + PARSER_STATE->parseError("expected SMT-LIBv2 command, got `" + id + "'."); + } + } ; extendedCommand[CVC4::Command*& cmd] |