diff options
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); |