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/SolverInterface.h | |
| parent | 8853183d060104777b03921ccda1e9db600f0e8e (diff) | |
| download | dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.gz dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.tar.zst dexon-solidity-cf5e1d6120513c757bd5c71f1e3af972a9a63aeb.zip | |
Review changes.
Diffstat (limited to 'libsolidity/formal/SolverInterface.h')
| -rw-r--r-- | libsolidity/formal/SolverInterface.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/SolverInterface.h b/libsolidity/formal/SolverInterface.h index 8423c4a7..32d92a2a 100644 --- a/libsolidity/formal/SolverInterface.h +++ b/libsolidity/formal/SolverInterface.h @@ -39,7 +39,7 @@ namespace smt enum class CheckResult { - SAT, UNSAT, UNKNOWN, ERROR + SATISFIABLE, UNSATISFIABLE, UNKNOWN, ERROR }; enum class Sort |