diff options
| author | Paweł Bylica <pawel.bylica@imapp.pl> | 2015-03-06 22:34:02 +0800 |
|---|---|---|
| committer | Paweł Bylica <pawel.bylica@imapp.pl> | 2015-03-06 22:34:02 +0800 |
| commit | 5fb44b241debf9230aea69b7708e204a88ba9d83 (patch) | |
| tree | 0644526a7861d260a4b021de0694afec921a2f25 /SolidityNameAndTypeResolution.cpp | |
| parent | 51e376efb8dc2f410872c682e4bf36955ec7caca (diff) | |
| parent | 1234526c938504134b6b86252353ab5e2ae6319f (diff) | |
| download | dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar.gz dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar.bz2 dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar.lz dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar.xz dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.tar.zst dexon-solidity-5fb44b241debf9230aea69b7708e204a88ba9d83.zip | |
Merge remote-tracking branch 'upstream/develop' into evmjit
Diffstat (limited to 'SolidityNameAndTypeResolution.cpp')
| -rw-r--r-- | SolidityNameAndTypeResolution.cpp | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/SolidityNameAndTypeResolution.cpp b/SolidityNameAndTypeResolution.cpp index a48b62d0..6e6254eb 100644 --- a/SolidityNameAndTypeResolution.cpp +++ b/SolidityNameAndTypeResolution.cpp @@ -1292,6 +1292,24 @@ BOOST_AUTO_TEST_CASE(array_copy_with_different_types_dynamic_static) BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError); } +BOOST_AUTO_TEST_CASE(storage_variable_initialization_with_incorrect_type_int) +{ + char const* text = R"( + contract c { + uint8 a = 1000; + })"; + BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError); +} + +BOOST_AUTO_TEST_CASE(storage_variable_initialization_with_incorrect_type_string) +{ + char const* text = R"( + contract c { + uint a = "abc"; + })"; + BOOST_CHECK_THROW(parseTextAndResolveNames(text), TypeError); +} + BOOST_AUTO_TEST_SUITE_END() } |