diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-04 11:32:38 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-04 13:32:38 -0500 |
commit | 66eab37a0e435b314408b3180819b9751aeff3df (patch) | |
tree | 07e048a43824fa7c6808a3bd4513bebfdc6a1092 | |
parent | 410eb892bd779a7544cace62fa2b447b8188e238 (diff) |
Make --output-lang consistent with --lang (#1877)
-rw-r--r-- | src/options/language.cpp | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/src/options/language.cpp b/src/options/language.cpp index 4c224b95d..e4f0f58c5 100644 --- a/src/options/language.cpp +++ b/src/options/language.cpp @@ -128,16 +128,20 @@ OutputLanguage toOutputLanguage(std::string language) { return output::LANG_CVC4; } else if(language == "cvc3" || language == "LANG_CVC3") { return output::LANG_CVC3; - } else if(language == "smtlib" || language == "smt" || - language == "smtlib2" || language == "smt2" || - language == "smtlib2.0" || language == "smt2.0" || - language == "LANG_SMTLIB_V2_0" || language == "LANG_SMTLIB_V2") { + } + else if (language == "smtlib2.0" || language == "smt2.0" + || language == "LANG_SMTLIB_V2_0") + { return output::LANG_SMTLIB_V2_0; } 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") { + } + else if (language == "smtlib" || language == "smt" || language == "smtlib2" + || language == "smt2" || language == "smtlib2.6" + || language == "smt2.6" || language == "LANG_SMTLIB_V2_6" + || language == "LANG_SMTLIB_V2") + { return output::LANG_SMTLIB_V2_6; } else if (language == "smtlib2.6.1" || language == "smt2.6.1" |