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

Test for multi-branches.

Browse Source
This commit is contained in:
chriseth 2017-10-04 21:21:17 +02:00 committed by Alex Beregszaszi
parent 95a65dc04c
commit 5e2c066778
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
test/libsolidity/SMTChecker.cpp
View File

@ -241,6 +241,24 @@ BOOST_AUTO_TEST_CASE(branches_assert_condition)
} }
)"; )";
CHECK_SUCCESS_NO_WARNINGS(text); CHECK_SUCCESS_NO_WARNINGS(text);
text = R"(
contract C {
function f(uint x) public pure {
if (x > 10) {
assert(x > 9);
}
else if (x > 2)
{
assert(x <= 10 && x > 2);
}
else
{
assert(0 <= x && x <= 2);
}
}
}
)";
CHECK_SUCCESS_NO_WARNINGS(text);
} }
BOOST_AUTO_TEST_CASE(ways_to_clear_variables) BOOST_AUTO_TEST_CASE(ways_to_clear_variables)