cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Test cases for for and while loops.

Browse Source
This commit is contained in:
benjaminion 2017-07-01 14:19:41 +01:00
parent f129372245
commit e3c58eada6
1 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
test/liblll/EndToEndTest.cpp
View File

@ -387,6 +387,37 @@ BOOST_AUTO_TEST_CASE(assembly_codecopy)
BOOST_CHECK(callFallback() == encodeArgs(string("abcdef"))); BOOST_CHECK(callFallback() == encodeArgs(string("abcdef")));
} }
BOOST_AUTO_TEST_CASE(for_loop)
{
char const* sourceCode = R"(
(returnlll
(seq
(for
{ (set 'i 1) (set 'j 1) } ; INIT
(<= @i 10) ; PRED
[i]:(+ @i 1) ; POST
[j]:(* @j @i)) ; BODY
(return j 0x20)))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callFallback() == encodeArgs(u256(3628800))); // 10!
}
BOOST_AUTO_TEST_CASE(while_loop)
{
char const* sourceCode = R"(
(returnlll
(seq
;; Euclid's GCD algorithm
(set 'a 1071)
(set 'b 462)
(while @b
[a]:(raw @b [b]:(mod @a @b)))
(return a 0x20)))
)";
compileAndRun(sourceCode);
BOOST_CHECK(callFallback() == encodeArgs(u256(21))); // GCD(1071,462)
}
BOOST_AUTO_TEST_CASE(keccak256_32bytes) BOOST_AUTO_TEST_CASE(keccak256_32bytes)
{ {