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

test: add a test converting -1 as a literal into an enum

Browse Source 
This shows #1334 fixes #1344
This commit is contained in:
Yoichi Hirai 2016-11-09 11:50:09 +01:00
parent 08a889a908
commit 457daecba1
No known key found for this signature in database
GPG Key ID: E7B75D080FCF7992
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/libsolidity/SolidityEndToEndTest.cpp
View File

@ -3360,6 +3360,11 @@ BOOST_AUTO_TEST_CASE(enum_explicit_overflow)
choice = ActionChoices(x); choice = ActionChoices(x);
d = uint256(choice); d = uint256(choice);
} }
function getChoiceFromNegativeLiteral() returns (uint d)
{
choice = ActionChoices(-1);
d = uint256(choice);
}
ActionChoices choice; ActionChoices choice;
} }
)"; )";
@ -3367,6 +3372,7 @@ BOOST_AUTO_TEST_CASE(enum_explicit_overflow)
// These should throw // These should throw
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 3) == encodeArgs()); BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 3) == encodeArgs());
BOOST_CHECK(callContractFunction("getChoiceFromSigned(int256)", -1) == encodeArgs()); BOOST_CHECK(callContractFunction("getChoiceFromSigned(int256)", -1) == encodeArgs());
BOOST_CHECK(callContractFunction("getChoiceFromNegativeLiteral()") == encodeArgs());
// These should work // These should work
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 2) == encodeArgs(2)); BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 2) == encodeArgs(2));
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 0) == encodeArgs(0)); BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 0) == encodeArgs(0));