UNPKG

@hyperlane-xyz/core

Version:

Core solidity contracts for Hyperlane

www.hyperlane.xyz

hyperlane-xyz/hyperlane-monorepo

7 lines (4 loc) • 336 B
1
2
3
4
5
6
7
# `L2OutputOracle` Invariants ## The block number of the output root proposals should monotonically increase. **Test:** [`L2OutputOracle.t.sol#L59`](../contracts/test/invariants/L2OutputOracle.t.sol#L59) When a new output is submitted, it should never be allowed to correspond to a block number that is less than the current output.