test: add a test case for #1343

The test witnesses that #1334 fixes #1343.
This commit is contained in:
Yoichi Hirai 2016-11-09 11:40:52 +01:00
parent 1af3c4f754
commit 08a889a908
No known key found for this signature in database
GPG Key ID: E7B75D080FCF7992

View File

@ -3355,12 +3355,18 @@ BOOST_AUTO_TEST_CASE(enum_explicit_overflow)
choice = ActionChoices(x);
d = uint256(choice);
}
function getChoiceFromSigned(int x) returns (uint d)
{
choice = ActionChoices(x);
d = uint256(choice);
}
ActionChoices choice;
}
)";
compileAndRun(sourceCode);
// These should throw
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 3) == encodeArgs());
BOOST_CHECK(callContractFunction("getChoiceFromSigned(int256)", -1) == encodeArgs());
// These should work
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 2) == encodeArgs(2));
BOOST_CHECK(callContractFunction("getChoiceExp(uint256)", 0) == encodeArgs(0));