diff options
| author | Jason Cobb <jason.e.cobb@gmail.com> | 2018-05-31 05:02:47 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-06-25 22:17:50 +0800 |
| commit | 98c9ca257568e8f281a5d8857a45ef2c8aef2c77 (patch) | |
| tree | 728ebe462c3ec65a90e44d7c3d6558a03418de6b /test/libsolidity/SMTChecker.cpp | |
| parent | 48b003d4d4e4ebddf8922fb06a47c1634203d0bc (diff) | |
| download | dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar.gz dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar.bz2 dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar.lz dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar.xz dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.tar.zst dexon-solidity-98c9ca257568e8f281a5d8857a45ef2c8aef2c77.zip | |
Update tests for strict address literals
Diffstat (limited to 'test/libsolidity/SMTChecker.cpp')
| -rw-r--r-- | test/libsolidity/SMTChecker.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/libsolidity/SMTChecker.cpp b/test/libsolidity/SMTChecker.cpp index 18c8c025..11cfc26e 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -427,7 +427,7 @@ BOOST_AUTO_TEST_CASE(storage_value_vars) string text = R"( contract C { - address a; + uint a; bool b; uint c; function f(uint x) public { @@ -449,7 +449,7 @@ BOOST_AUTO_TEST_CASE(storage_value_vars) text = R"( contract C { - address a; + uint a; bool b; uint c; function f() public view { @@ -479,7 +479,7 @@ BOOST_AUTO_TEST_CASE(storage_value_vars) require(a < 100); assert(c >= 0); } - address a; + uint a; bool b; uint c; } |