aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2017-03-02 02:49:02 +0800
committerchriseth <c@ethdev.com>2017-03-13 20:30:23 +0800
commit49cfacced291ea73d99ec1353a0c77bfe476729a (patch)
treef9642a3a26621a5937c78a37b001442689ac5719
parentf39763e91c97b29bfe6d2c79cb1c1ebf80b2b9aa (diff)
downloaddexon-solidity-49cfacced291ea73d99ec1353a0c77bfe476729a.tar.gz
dexon-solidity-49cfacced291ea73d99ec1353a0c77bfe476729a.tar.zst
dexon-solidity-49cfacced291ea73d99ec1353a0c77bfe476729a.zip
End to end tests for constants.
-rw-r--r--test/libsolidity/SolidityEndToEndTest.cpp50
1 files changed, 50 insertions, 0 deletions
diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp
index baed3f1e..f14108ca 100644
--- a/test/libsolidity/SolidityEndToEndTest.cpp
+++ b/test/libsolidity/SolidityEndToEndTest.cpp
@@ -4553,6 +4553,56 @@ BOOST_AUTO_TEST_CASE(constant_variables)
compileAndRun(sourceCode);
}
+BOOST_AUTO_TEST_CASE(assignment_to_const_var_involving_expression)
+{
+ char const* sourceCode = R"(
+ contract C {
+ uint constant x = 0x123 + 0x456;
+ function f() returns (uint) { return x + 1; }
+ }
+ )";
+ compileAndRun(sourceCode);
+ BOOST_CHECK(callContractFunction("f()") == encodeArgs(0x123 + 0x456 + 1));
+}
+
+BOOST_AUTO_TEST_CASE(assignment_to_const_var_involving_keccak)
+{
+ char const* sourceCode = R"(
+ contract C {
+ bytes32 constant x = keccak256("abc");
+ function f() returns (bytes32) { return x; }
+ }
+ )";
+ compileAndRun(sourceCode);
+ BOOST_CHECK(callContractFunction("f()") == encodeArgs(dev::keccak256("abc")));
+}
+
+BOOST_AUTO_TEST_CASE(assignment_to_const_array_vars)
+{
+ char const* sourceCode = R"(
+ contract C {
+ uint[3] constant x = [uint(1), 2, 3];
+ uint constant y = x[0] + x[1] + x[2];
+ function f() returns (uint) { return y; }
+ }
+ )";
+ compileAndRun(sourceCode);
+ BOOST_CHECK(callContractFunction("f()") == encodeArgs(1 + 2 + 3));
+}
+
+BOOST_AUTO_TEST_CASE(constant_struct)
+{
+ char const* sourceCode = R"(
+ contract C {
+ struct S { uint x; uint[] y; }
+ S constant x = S(5, new uint[](4));
+ function f() returns (uint) { return x.x; }
+ }
+ )";
+ compileAndRun(sourceCode);
+ BOOST_CHECK(callContractFunction("f()") == encodeArgs(5));
+}
+
BOOST_AUTO_TEST_CASE(packed_storage_structs_uint)
{
char const* sourceCode = R"(