diff options
| author | chriseth <chris@ethereum.org> | 2017-09-29 16:30:12 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-11-22 10:35:34 +0800 |
| commit | e5de4a66eda8211bb38b874f7683534d6cfc1c24 (patch) | |
| tree | 76fca6d49a3aaf8cfef89a89bf936d8df89d7cb1 /libsolidity | |
| parent | b37377641dd1cac7d1b5d5307ea6f7517c0f321f (diff) | |
| download | dexon-solidity-e5de4a66eda8211bb38b874f7683534d6cfc1c24.tar.gz dexon-solidity-e5de4a66eda8211bb38b874f7683534d6cfc1c24.tar.zst dexon-solidity-e5de4a66eda8211bb38b874f7683534d6cfc1c24.zip | |
Tests.
Diffstat (limited to 'libsolidity')
| -rw-r--r-- | libsolidity/formal/SMTChecker.cpp | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/libsolidity/formal/SMTChecker.cpp b/libsolidity/formal/SMTChecker.cpp index 428afa9f..1cf5dc95 100644 --- a/libsolidity/formal/SMTChecker.cpp +++ b/libsolidity/formal/SMTChecker.cpp @@ -106,11 +106,6 @@ bool SMTChecker::visit(WhileStatement const& _node) { // TODO Check if condition is always true - // TODO Weird side effects like - // uint x = 1; - // while (x ++ > 0) { assert(x == 2); } - // solution: clear variables first, then execute and assert condition, then executed body. - auto touchedVariables = m_variableUsage->touchedVariables(_node); resetVariables(touchedVariables); if (_node.isDoWhile()) |