From 966f38dc17ee316fdb069ec2a427c4f79f1f73b2 Mon Sep 17 00:00:00 2001 From: ajreynol Date: Thu, 16 Mar 2017 11:37:53 -0500 Subject: Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for mkGroundTerm for parametric datatypes. Minor change to run_regression to allow regressions to override input language. Minor refactoring to Cvc.g. --- src/util/sexpr.cpp | 1 + 1 file changed, 1 insertion(+) (limited to 'src/util/sexpr.cpp') diff --git a/src/util/sexpr.cpp b/src/util/sexpr.cpp index a34689d1e..59d12d81f 100644 --- a/src/util/sexpr.cpp +++ b/src/util/sexpr.cpp @@ -272,6 +272,7 @@ bool SExpr::languageQuotesKeywords(OutputLanguage language) { case language::output::LANG_SMTLIB_V1: case language::output::LANG_SMTLIB_V2_0: case language::output::LANG_SMTLIB_V2_5: + case language::output::LANG_SMTLIB_V2_6: case language::output::LANG_SYGUS: case language::output::LANG_TPTP: case language::output::LANG_Z3STR: -- cgit v1.2.3