github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/invariant-docs/SystemConfig.md (about)

     1  # `SystemConfig` Invariants
     2  
     3  ## The gas limit of the `SystemConfig` contract can never be lower than the hard-coded lower bound.
     4  **Test:** [`SystemConfig.t.sol#L68`](../test/invariants/SystemConfig.t.sol#L68)
     5