cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Testing state vars that are declared after functions that use them

Browse Source
This commit is contained in:
Leonardo Alt 2018-05-02 15:52:23 +02:00 committed by chriseth
parent 4117e859eb
commit a0b42105e4
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
test/libsolidity/SMTChecker.cpp
View File

@ -506,9 +506,6 @@ BOOST_AUTO_TEST_CASE(storage_value_vars)
text = R"( text = R"(
contract C contract C
{ {
address a;
bool b;
uint c;
function f(uint x) public { function f(uint x) public {
if (x == 0) if (x == 0)
{ {
@ -527,7 +524,9 @@ BOOST_AUTO_TEST_CASE(storage_value_vars)
require(a < 100); require(a < 100);
assert(c >= 0); assert(c >= 0);
} }
address a;
bool b;
uint c;
} }
)"; )";
CHECK_SUCCESS_NO_WARNINGS(text); CHECK_SUCCESS_NO_WARNINGS(text);