From c3b5f9d57eaf17612170b7401465b75053b07985 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Mon, 1 Jul 2019 16:33:34 -0500 Subject: Support sygus version 2 format (#3066) --- src/smt/smt_engine.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'src/smt') 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; } -- cgit v1.2.3