diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-21 13:40:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-21 13:40:02 -0500 |
| commit | 6e1ac7281d5986f3636254988979e9048e5267c4 (patch) | |
| tree | e56d333427fab4247d770f6f0f4826becea13421 | |
| parent | 233dca9a28575631dec2cf004fe07fe6b994a9df (diff) | |
Update to sygus version 2 (#4372)
| -rw-r--r-- | src/main/driver_unified.cpp | 5 |
1 files 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); } } } |