Test updates after rule restrictions.

This commit is contained in:
chriseth 2021-11-23 15:37:35 +01:00
parent f9b4b2faed
commit 7641c52bb5
2 changed files with 5 additions and 4 deletions

View File

@ -32,6 +32,9 @@
// let _2 := not(31)
// let newFreePtr := add(memPtr, and(add(and(add(length, 31), _2), 63), _2))
// if or(gt(newFreePtr, _1), lt(newFreePtr, memPtr)) { revert(0, 0) }
// sstore(0, length)
// mstore(64, newFreePtr)
// mstore(memPtr, length)
// extcodecopy(value, add(memPtr, 32), 0, length)
// sstore(0, mload(memPtr))
// }
// }

View File

@ -25,9 +25,7 @@
// a := calldataload(10)
// let a_11 := a
// }
// let a_13 := a
// let _5 := 0
// let _6 := 0x20
// calldatacopy(0x20, 0, a)
// sstore(0, mload(0))
// }
// }