diff options
| author | Leo Arias <yo@elopio.net> | 2018-08-08 05:53:06 +0800 |
|---|---|---|
| committer | Leo Arias <yo@elopio.net> | 2018-08-08 05:58:24 +0800 |
| commit | cf3bf57cb2d20dbcd60125ecb60a017444d614e7 (patch) | |
| tree | ca77b13752bbf83f0fc3d3b7e34bccdfa3bd8d74 /test/libjulia/Simplifier.cpp | |
| parent | 4dc3335cda18bae7c683227a9795a7cc1de95fd2 (diff) | |
| download | dexon-solidity-cf3bf57cb2d20dbcd60125ecb60a017444d614e7.tar.gz dexon-solidity-cf3bf57cb2d20dbcd60125ecb60a017444d614e7.tar.zst dexon-solidity-cf3bf57cb2d20dbcd60125ecb60a017444d614e7.zip | |
tests: add yul simplifier not applied
Diffstat (limited to 'test/libjulia/Simplifier.cpp')
| -rw-r--r-- | test/libjulia/Simplifier.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/libjulia/Simplifier.cpp b/test/libjulia/Simplifier.cpp index 8ed8287a..e5b7e0d8 100644 --- a/test/libjulia/Simplifier.cpp +++ b/test/libjulia/Simplifier.cpp @@ -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() |