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

Added test for flipping signs on signed type edge case

Browse Source
This commit is contained in:
mordax 2018-10-13 20:22:39 -04:00
parent 036929aba1
commit 134f5cb798
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -14010,6 +14010,21 @@ BOOST_AUTO_TEST_CASE(test_underscore_in_hex)
ABI_CHECK(callContractFunction("f(bool)", false), encodeArgs(u256(0x1234abcd1234)));
}
BOOST_AUTO_TEST_CASE(flipping_sign_tests)
{
char const* sourceCode = R"(
contract test {
function f() public returns (bool){
int x = -2**255;
assert(-x == x);
return true;
}
}
)";
compileAndRun(sourceCode);
ABI_CHECK(callContractFunction("f()"), encodeArgs(true));
}
BOOST_AUTO_TEST_SUITE_END()
}