-
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 |
|---|---|---|
| .. | ||
| MIPS.t.sol | ||
| MIPS2.t.sol | ||
| PreimageOracle.t.sol |
Modifies the MIPS contracts to enforce that state.exited is either exactly zero or one and cannot have any other value.
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| MIPS.t.sol | ||
| MIPS2.t.sol | ||
| PreimageOracle.t.sol |