diff options
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.cpp')
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libsolidity/formal/SMTLib2Interface.cpp b/libsolidity/formal/SMTLib2Interface.cpp index e7a9ef8c..cbd766fb 100644 --- a/libsolidity/formal/SMTLib2Interface.cpp +++ b/libsolidity/formal/SMTLib2Interface.cpp @@ -103,16 +103,16 @@ pair<CheckResult, vector<string>> SMTLib2Interface::check(vector<Expression> con CheckResult result; // TODO proper parsing if (boost::starts_with(response, "sat\n")) - result = CheckResult::SAT; + result = CheckResult::SATISFIABLE; else if (boost::starts_with(response, "unsat\n")) - result = CheckResult::UNSAT; + result = CheckResult::UNSATISFIABLE; else if (boost::starts_with(response, "unknown\n")) result = CheckResult::UNKNOWN; else result = CheckResult::ERROR; vector<string> values; - if (result != CheckResult::UNSAT && result != CheckResult::ERROR) + if (result != CheckResult::UNSATISFIABLE && result != CheckResult::ERROR) values = parseValues(find(response.cbegin(), response.cend(), '\n'), response.cend()); return make_pair(result, values); } |