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

Fix test.

Browse Source
This commit is contained in:
chriseth 2017-10-05 19:40:28 +02:00
parent a256983320
commit 6d609557b6
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

@ -351,9 +351,9 @@ BOOST_AUTO_TEST_CASE(while_loop_simple)
// Check that side-effects of condition are taken into account // Check that side-effects of condition are taken into account
text = R"( text = R"(
contract C { contract C {
function f(uint x) public pure { function f(uint x, uint y) public pure {
x = 7; x = 7;
while ((x = 5) > 0) { while ((x = y) > 0) {
} }
assert(x == 7); assert(x == 7);
} }
@ -545,8 +545,7 @@ BOOST_AUTO_TEST_CASE(division_truncates_correctly)
function f(int x, int y) public pure { function f(int x, int y) public pure {
x = -7; x = -7;
y = -2; y = -2;
int r = x / y; assert(x / y == 3);
assert(r == 3);
} }
} }
)"; )";