diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
-rw-r--r-- | src/smt/smt_engine.cpp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 5cf690147..5e8540348 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -1158,10 +1158,12 @@ void SmtEngine::setDefaults() { // option if we are sygus, since we assume SMT LIB 2.6 semantics for sygus. options::bitvectorDivByZeroConst.set( language::isInputLang_smt2_6(options::inputLanguage()) - || options::inputLanguage() == language::input::LANG_SYGUS); + || options::inputLanguage() == language::input::LANG_SYGUS + || options::inputLanguage() == language::input::LANG_SYGUS_V2); } bool is_sygus = false; - if (options::inputLanguage() == language::input::LANG_SYGUS) + if (options::inputLanguage() == language::input::LANG_SYGUS + || options::inputLanguage() == language::input::LANG_SYGUS_V2) { is_sygus = true; } |