-
smartcontracts authored
Updates MIPSInstructions so that it correctly reverts on calls to add, addi, and sub that overflow/underflow. Additionally includes tests that demonstrates that the unchecked versions of the same opcodes allow for overflow/underflow.
5221af89
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| interfaces | ||
| utils | ||
| L1CrossDomainMessenger.k.sol | ||
| L1ERC721Bridge.k.sol | ||
| L1StandardBridge.k.sol | ||
| OptimismPortal.k.sol | ||
| OptimismPortal2.k.sol |