aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorErik Kundt <bitshift@posteo.org>2018-03-17 00:06:38 +0800
committerErik Kundt <bitshift@posteo.org>2018-05-29 18:53:02 +0800
commit7156a01acc822ab66c189435421564afc8b1c922 (patch)
treeb838519c5c24c16dd3bcc1564ec91cfa4f85b1f9 /test
parente9dcfb0b624e5443942451fc865c154a2c5a73d7 (diff)
downloaddexon-solidity-7156a01acc822ab66c189435421564afc8b1c922.tar.gz
dexon-solidity-7156a01acc822ab66c189435421564afc8b1c922.tar.zst
dexon-solidity-7156a01acc822ab66c189435421564afc8b1c922.zip
Implements pop() for byte arrays.
Diffstat (limited to 'test')
-rw-r--r--test/libsolidity/SolidityEndToEndTest.cpp87
1 files changed, 81 insertions, 6 deletions
diff --git a/test/libsolidity/SolidityEndToEndTest.cpp b/test/libsolidity/SolidityEndToEndTest.cpp
index b4cf6950..41101223 100644
--- a/test/libsolidity/SolidityEndToEndTest.cpp
+++ b/test/libsolidity/SolidityEndToEndTest.cpp
@@ -5115,21 +5115,23 @@ BOOST_AUTO_TEST_CASE(array_pop)
{
char const* sourceCode = R"(
contract c {
+ uint256 a;
uint[] data;
- function test() public returns (uint x, uint y, uint l) {
+ function test() public returns (uint x, uint l) {
data.push(7);
x = data.push(3);
data.pop();
- y = data.push(2);
+ x = data.length;
+ data.pop();
l = data.length;
}
}
)";
compileAndRun(sourceCode);
- ABI_CHECK(callContractFunction("test()"), encodeArgs(2, 2, 2));
+ ABI_CHECK(callContractFunction("test()"), encodeArgs(1, 0));
}
-BOOST_AUTO_TEST_CASE(array_pop_empty)
+BOOST_AUTO_TEST_CASE(array_pop_empty_exception)
{
char const* sourceCode = R"(
contract c {
@@ -5144,7 +5146,23 @@ BOOST_AUTO_TEST_CASE(array_pop_empty)
ABI_CHECK(callContractFunction("test()"), encodeArgs());
}
-BOOST_AUTO_TEST_CASE(bytearray_pop)
+BOOST_AUTO_TEST_CASE(array_pop_storage_empty)
+{
+ char const* sourceCode = R"(
+ contract c {
+ uint[] data;
+ function test() public {
+ data.push(7);
+ data.pop();
+ }
+ }
+ )";
+ compileAndRun(sourceCode);
+ ABI_CHECK(callContractFunction("test()"), encodeArgs());
+ BOOST_CHECK(storageEmpty(m_contractAddress));
+}
+
+BOOST_AUTO_TEST_CASE(byte_array_pop)
{
char const* sourceCode = R"(
contract c {
@@ -5163,13 +5181,31 @@ BOOST_AUTO_TEST_CASE(bytearray_pop)
ABI_CHECK(callContractFunction("test()"), encodeArgs(2, 1, 1));
}
-BOOST_AUTO_TEST_CASE(bytearray_pop_empty)
+BOOST_AUTO_TEST_CASE(byte_array_pop_long)
+{
+ char const* sourceCode = R"(
+ contract c {
+ bytes data;
+ function test() public returns (uint l) {
+ for (uint i = 0; i < 33; i++)
+ data.push(byte(i));
+ data.pop();
+ l = data.length;
+ }
+ }
+ )";
+ compileAndRun(sourceCode);
+ ABI_CHECK(callContractFunction("test()"), encodeArgs(32));
+}
+
+BOOST_AUTO_TEST_CASE(byte_array_pop_empty_exception)
{
char const* sourceCode = R"(
contract c {
bytes data;
function test() public returns (bool) {
data.pop();
+ return true;
}
}
)";
@@ -5177,6 +5213,45 @@ BOOST_AUTO_TEST_CASE(bytearray_pop_empty)
ABI_CHECK(callContractFunction("test()"), encodeArgs());
}
+BOOST_AUTO_TEST_CASE(byte_array_pop_storage_empty)
+{
+ char const* sourceCode = R"(
+ contract c {
+ bytes data;
+ function test() public {
+ data.push(7);
+ data.push(5);
+ data.push(3);
+ data.pop();
+ data.pop();
+ data.pop();
+ }
+ }
+ )";
+ compileAndRun(sourceCode);
+ ABI_CHECK(callContractFunction("test()"), encodeArgs());
+ BOOST_CHECK(storageEmpty(m_contractAddress));
+}
+
+BOOST_AUTO_TEST_CASE(byte_array_pop_storage_empty_long)
+{
+ char const* sourceCode = R"(
+ contract c {
+ bytes data;
+ function test() public returns (uint l) {
+ for (uint i = 0; i < 33; i++)
+ data.push(3);
+ for (uint j = 0; j < 33; j++)
+ data.pop();
+ l = data.length;
+ }
+ }
+ )";
+ compileAndRun(sourceCode);
+ ABI_CHECK(callContractFunction("test()"), encodeArgs(0));
+ BOOST_CHECK(storageEmpty(m_contractAddress));
+}
+
BOOST_AUTO_TEST_CASE(external_array_args)
{
char const* sourceCode = R"(