-
smartcontracts authored
Modifies the MIPS contracts to enforce that state.exited is either exactly zero or one and cannot have any other value.
4348c663
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| interfaces | ||
| utils | ||
| L1CrossDomainMessenger.k.sol | ||
| L1ERC721Bridge.k.sol | ||
| L1StandardBridge.k.sol | ||
| OptimismPortal.k.sol | ||
| OptimismPortal2.k.sol |