diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-06-26 18:41:26 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-07-27 23:16:26 +0800 |
| commit | 55c1fb60b4ba60685262f332f2b197a7ef81d5b8 (patch) | |
| tree | c861a097b885416b67d2ef98f20ae9f91950756d /libsolidity/formal/SolverInterface.h | |
| parent | 87a38e1abe61547e66aedfa595a73fb78184d609 (diff) | |
| download | dexon-solidity-55c1fb60b4ba60685262f332f2b197a7ef81d5b8.tar.gz dexon-solidity-55c1fb60b4ba60685262f332f2b197a7ef81d5b8.tar.zst dexon-solidity-55c1fb60b4ba60685262f332f2b197a7ef81d5b8.zip | |
[SMTChecker] Add CheckResult::CONFLICTING
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 f8a2bebb..8bbd0417 100644 --- a/libsolidity/formal/SolverInterface.h +++ b/libsolidity/formal/SolverInterface.h @@ -39,7 +39,7 @@ namespace smt enum class CheckResult { - SATISFIABLE, UNSATISFIABLE, UNKNOWN, ERROR + SATISFIABLE, UNSATISFIABLE, UNKNOWN, CONFLICTING, ERROR }; enum class Sort |