diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-04-19 15:28:44 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-04-19 15:28:44 +0800 |
| commit | ba3d16fc5812ae77d955790d512d91f6c996ceb2 (patch) | |
| tree | f18cdb657312b442c3ad02f709ee52400ad8647b /libsolidity/formal/SMTChecker.h | |
| parent | d577f06ad8951b42f8df6fa0e9feca90eb2785eb (diff) | |
| download | dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.tar.gz dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.tar.zst dexon-solidity-ba3d16fc5812ae77d955790d512d91f6c996ceb2.zip | |
[SMTChecker] Remove 'information is erase' message for if-else
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
| -rw-r--r-- | libsolidity/formal/SMTChecker.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/SMTChecker.h b/libsolidity/formal/SMTChecker.h index 7e7996cf..fd54fb5c 100644 --- a/libsolidity/formal/SMTChecker.h +++ b/libsolidity/formal/SMTChecker.h @@ -160,7 +160,7 @@ private: std::shared_ptr<smt::SolverInterface> m_interface; std::shared_ptr<VariableUsage> m_variableUsage; - bool m_conditionalExecutionHappened = false; + bool m_loopExecutionHappened = false; std::map<Expression const*, smt::Expression> m_expressions; std::map<Declaration const*, SSAVariable> m_variables; std::vector<smt::Expression> m_pathConditions; |