diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-06-15 03:51:00 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2017-06-22 04:23:20 +0800 |
| commit | 3515ee98ff75a0dd60d1e481e37cb47b7ed51022 (patch) | |
| tree | 8ae274842f0d4737a8c7c3de66be295afbc80fd6 /test | |
| parent | 176f8f903a9b3f4d83b5aaf2a04094a1bf6f4cd7 (diff) | |
| download | dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar.gz dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar.bz2 dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar.lz dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar.xz dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.tar.zst dexon-solidity-3515ee98ff75a0dd60d1e481e37cb47b7ed51022.zip | |
Add tests for when/unless/if in LLL
Diffstat (limited to 'test')
| -rw-r--r-- | test/liblll/EndToEndTest.cpp | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/test/liblll/EndToEndTest.cpp b/test/liblll/EndToEndTest.cpp index 3928ff45..20fba72b 100644 --- a/test/liblll/EndToEndTest.cpp +++ b/test/liblll/EndToEndTest.cpp @@ -57,6 +57,68 @@ BOOST_AUTO_TEST_CASE(panic) BOOST_REQUIRE(m_output.empty()); } +BOOST_AUTO_TEST_CASE(when) +{ + char const* sourceCode = R"( + (returnlll + (seq + (when (= (calldatasize) 0) (return 1)) + (when (!= (calldatasize) 0) (return 2)))) + )"; + compileAndRun(sourceCode); + BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2))); + BOOST_CHECK(callFallback() == toBigEndian(u256(1))); +} + +BOOST_AUTO_TEST_CASE(unless) +{ + char const* sourceCode = R"( + (returnlll + (seq + (unless (!= (calldatasize) 0) (return 1)) + (unless (= (calldatasize) 0) (return 2)))) + )"; + compileAndRun(sourceCode); + BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2))); + BOOST_CHECK(callFallback() == toBigEndian(u256(1))); +} + +BOOST_AUTO_TEST_CASE(conditional_literal) +{ + char const* sourceCode = R"( + (returnlll + (seq + (return (if (= (calldatasize) 0) 1 2)))) + )"; + compileAndRun(sourceCode); + BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2))); + BOOST_CHECK(callFallback() == toBigEndian(u256(1))); +} + +BOOST_AUTO_TEST_CASE(conditional) +{ + char const* sourceCode = R"( + (returnlll + (seq + (if (= (calldatasize) 0) (return 1) (return 2)))) + )"; + compileAndRun(sourceCode); + BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2))); + BOOST_CHECK(callFallback() == toBigEndian(u256(1))); +} + +BOOST_AUTO_TEST_CASE(conditional_seq) +{ + char const* sourceCode = R"( + (returnlll + (seq + (return (if (= (calldatasize) 0) { 0 2 1 } { 0 1 2 })))) + )"; + compileAndRun(sourceCode); + BOOST_CHECK(callContractFunction("test()") == encodeArgs(u256(2))); + BOOST_CHECK(callFallback() == toBigEndian(u256(1))); +} + BOOST_AUTO_TEST_CASE(exp_operator_const) { char const* sourceCode = R"( |