diff options
| author | chriseth <chris@ethereum.org> | 2017-10-06 01:40:28 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-12-04 19:57:36 +0800 |
| commit | 6d609557b6b2f13d7d8f8b13c2ceb1472266860a (patch) | |
| tree | 259c2e3d265f68750fb08ed8823dff9cd967d51b /test/libsolidity/SMTChecker.cpp | |
| parent | a2569833203a952f265acc3511ace52cd9cec4c0 (diff) | |
| download | dexon-solidity-6d609557b6b2f13d7d8f8b13c2ceb1472266860a.tar.gz dexon-solidity-6d609557b6b2f13d7d8f8b13c2ceb1472266860a.tar.zst dexon-solidity-6d609557b6b2f13d7d8f8b13c2ceb1472266860a.zip | |
Fix test.
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 eac78835..38d02601 100644 --- a/test/libsolidity/SMTChecker.cpp +++ b/test/libsolidity/SMTChecker.cpp @@ -351,9 +351,9 @@ BOOST_AUTO_TEST_CASE(while_loop_simple) // Check that side-effects of condition are taken into account text = R"( contract C { - function f(uint x) public pure { + function f(uint x, uint y) public pure { x = 7; - while ((x = 5) > 0) { + while ((x = y) > 0) { } assert(x == 7); } @@ -545,8 +545,7 @@ BOOST_AUTO_TEST_CASE(division_truncates_correctly) function f(int x, int y) public pure { x = -7; y = -2; - int r = x / y; - assert(r == 3); + assert(x / y == 3); } } )"; |