diff options
| author | chriseth <chris@ethereum.org> | 2017-08-21 23:02:47 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-08-23 23:37:35 +0800 |
| commit | cf5e1d6120513c757bd5c71f1e3af972a9a63aeb (patch) | |
| tree | 6910848eb79274896826e69a603e8a34fb5fadc3 /libsolidity/formal/SMTLib2Interface.cpp | |
| parent | 8853183d060104777b03921ccda1e9db600f0e8e (diff) | |
| download | dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.gz dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.bz2 dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.lz dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.xz dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.zst dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.zip | |
Review changes.
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); } |