-
smartcontracts authored
Modifies the MIPS contracts to enforce that state.exited is either exactly zero or one and cannot have any other value.
4348c663
Modifies the MIPS contracts to enforce that state.exited is either exactly zero or one and cannot have any other value.