diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-05-02 21:52:23 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2018-05-15 20:28:08 +0800 |
| commit | a0b42105e49456faf89dd0d86cfba2a6219c514e (patch) | |
| tree | c3315c4292ada9a3c3fdbb83cb2bf93a89109d1a /test/libsolidity/SMTChecker.cpp | |
| parent | 4117e859eb5780873177cf1c93eb8379e17ed247 (diff) | |
| download | dexon-solidity-a0b42105e49456faf89dd0d86cfba2a6219c514e.tar.gz dexon-solidity-a0b42105e49456faf89dd0d86cfba2a6219c514e.tar.zst dexon-solidity-a0b42105e49456faf89dd0d86cfba2a6219c514e.zip | |
Testing state vars that are declared after functions that use them
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
| -rw-r--r-- | test/libsolidity/SMTChecker.cpp | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp index 5f54db6d..71fdb906 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -506,9 +506,6 @@ BOOST_AUTO_TEST_CASE(storage_value_vars) text = R"( contract C { - address a; - bool b; - uint c; function f(uint x) public { if (x == 0) { @@ -527,7 +524,9 @@ BOOST_AUTO_TEST_CASE(storage_value_vars) require(a < 100); assert(c >= 0); } - + address a; + bool b; + uint c; } )"; CHECK_SUCCESS_NO_WARNINGS(text); |