diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-07-01 16:33:34 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-01 16:33:34 -0500 |
commit | c3b5f9d57eaf17612170b7401465b75053b07985 (patch) | |
tree | aeef3125d045a21bda899a7f2be22a1da50ebbc3 /src/smt | |
parent | c365521b91520cf05739c7df6f2ae99f273c98d4 (diff) |
Support sygus version 2 format (#3066)
Diffstat (limited to 'src/smt')
-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; } |