diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-19 14:51:19 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-19 14:51:19 -0500 |
| commit | 02b88b7665df5a6b1a2bce231d7567efdcc4b20a (patch) | |
| tree | ceff0419b0d08b551620a1b7ec239ebf0e069823 /src/parser/smt2 | |
| parent | eebfe6389321c24329d9b58f699ad67486cc30e0 (diff) | |
Update enum and option names for sygus languages (#4388)
This ensures sygus is interpreted as sygus version 2; sygus1 must be used to specify sygus version 1.
Required for the 1.8 release.
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 3c30f5c49..437f5aa2f 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -743,13 +743,13 @@ Command* Smt2::setLogic(std::string name, bool fromCommand) bool Smt2::sygus() const { InputLanguage ilang = getLanguage(); - return ilang == language::input::LANG_SYGUS + return ilang == language::input::LANG_SYGUS_V1 || ilang == language::input::LANG_SYGUS_V2; } bool Smt2::sygus_v1() const { - return getLanguage() == language::input::LANG_SYGUS; + return getLanguage() == language::input::LANG_SYGUS_V1; } bool Smt2::sygus_v2() const |