cerc-io/solidity
16
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

tests: add yul simplifier not applied

Browse Source
This commit is contained in:
Leo Arias 2018-08-07 21:53:06 +00:00
parent 4dc3335cda
commit cf3bf57cb2
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/libjulia/Simplifier.cpp
View File

@ -139,4 +139,14 @@ BOOST_AUTO_TEST_CASE(mod_and)
);
}
BOOST_AUTO_TEST_CASE(not_applied)
{
CHECK(
// The first argument of div is not constant.
// keccak256 is not movable.
"{ let a := div(keccak256(0, 0), 0) }",
"{ let a := div(keccak256(0, 0), 0) }"
);
}
BOOST_AUTO_TEST_SUITE_END()