cerc-io/solidity
15
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

Another test for division.

Browse Source
This commit is contained in:
chriseth 2017-10-05 19:31:28 +02:00
parent d160ec8595
commit 00e252a39f
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libsolidity/SMTChecker.cpp
View File

@ -530,6 +530,16 @@ BOOST_AUTO_TEST_CASE(division_truncates_correctly)
} }
)"; )";
CHECK_SUCCESS_NO_WARNINGS(text); CHECK_SUCCESS_NO_WARNINGS(text);
text = R"(
contract C {
function f(int x, int y) public pure {
x = 7;
y = -2;
assert(x / y == -3);
}
}
)";
CHECK_SUCCESS_NO_WARNINGS(text);
text = R"( text = R"(
contract C { contract C {
function f(int x, int y) public pure { function f(int x, int y) public pure {