diff options
| author | chriseth <chris@ethereum.org> | 2018-08-08 18:49:14 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-08 18:49:14 +0800 |
| commit | 3b2bd2c1df5ae7cfa51371399f842cc04fdf32ae (patch) | |
| tree | c04f65729a269c7cffb9909c0c5388bd0620632f | |
| parent | d2ca9c82067971fdbe5bdbccd26c25b13f8d6d7c (diff) | |
| parent | cf3bf57cb2d20dbcd60125ecb60a017444d614e7 (diff) | |
| download | dexon-solidity-3b2bd2c1df5ae7cfa51371399f842cc04fdf32ae.tar.gz dexon-solidity-3b2bd2c1df5ae7cfa51371399f842cc04fdf32ae.tar.zst dexon-solidity-3b2bd2c1df5ae7cfa51371399f842cc04fdf32ae.zip | |
Merge pull request #4749 from elopio/test/yul-simplifier-not-applied
tests: add yul simplifier not applied
| -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() |