-
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 |