From 6e1ac7281d5986f3636254988979e9048e5267c4 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 21 Apr 2020 13:40:02 -0500 Subject: [PATCH] Update to sygus version 2 (#4372) --- src/main/driver_unified.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/main/driver_unified.cpp b/src/main/driver_unified.cpp index 92368148b..0f440ac37 100644 --- a/src/main/driver_unified.cpp +++ b/src/main/driver_unified.cpp @@ -157,9 +157,8 @@ int runCvc4(int argc, char* argv[], Options& opts) { opts.setInputLanguage(language::input::LANG_CVC4); } else if((len >= 3 && !strcmp(".sy", filename + len - 3)) || (len >= 3 && !strcmp(".sl", filename + len - 3))) { - opts.setInputLanguage(language::input::LANG_SYGUS); - //since there is no sygus output language, set this to SMT lib 2 - //opts.setOutputLanguage(language::output::LANG_SMTLIB_V2_0); + // version 2 sygus is the default + opts.setInputLanguage(language::input::LANG_SYGUS_V2); } } } -- 2.30.2