diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 11:37:53 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 11:38:09 -0500 |
| commit | 966f38dc17ee316fdb069ec2a427c4f79f1f73b2 (patch) | |
| tree | 1a1b60435daffa8b59eea589ef04c26b50f8a724 /src/options/language.cpp | |
| parent | 594301e6f2893ebe9baba5083ff084933b1e9da9 (diff) | |
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.
Diffstat (limited to 'src/options/language.cpp')
| -rw-r--r-- | src/options/language.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/options/language.cpp b/src/options/language.cpp index 665089e45..7ae9d075a 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -24,6 +24,7 @@ InputLanguage toInputLanguage(OutputLanguage language) { case output::LANG_SMTLIB_V1: case output::LANG_SMTLIB_V2_0: case output::LANG_SMTLIB_V2_5: + case output::LANG_SMTLIB_V2_6: case output::LANG_TPTP: case output::LANG_CVC4: case output::LANG_Z3STR: @@ -45,6 +46,7 @@ OutputLanguage toOutputLanguage(InputLanguage language) { case input::LANG_SMTLIB_V1: case input::LANG_SMTLIB_V2_0: case input::LANG_SMTLIB_V2_5: + case input::LANG_SMTLIB_V2_6: case input::LANG_TPTP: case input::LANG_CVC4: case input::LANG_Z3STR: @@ -85,6 +87,9 @@ OutputLanguage toOutputLanguage(std::string language) { } else if(language == "smtlib2.5" || language == "smt2.5" || language == "LANG_SMTLIB_V2_5") { return output::LANG_SMTLIB_V2_5; + } else if(language == "smtlib2.6" || language == "smt2.6" || + language == "LANG_SMTLIB_V2_6") { + return output::LANG_SMTLIB_V2_6; } else if(language == "tptp" || language == "LANG_TPTP") { return output::LANG_TPTP; } else if(language == "z3str" || language == "z3-str" || @@ -117,6 +122,9 @@ InputLanguage toInputLanguage(std::string language) { } else if(language == "smtlib2.5" || language == "smt2.5" || language == "LANG_SMTLIB_V2_5") { return input::LANG_SMTLIB_V2_5; + } else if(language == "smtlib2.6" || language == "smt2.6" || + language == "LANG_SMTLIB_V2_6") { + return input::LANG_SMTLIB_V2_6; } else if(language == "tptp" || language == "LANG_TPTP") { return input::LANG_TPTP; } else if(language == "z3str" || language == "z3-str" || |