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

     1  # `Burn.Gas` Invariants
     2  
     3  ## `gas(uint256)` always burns at least the amount of gas passed.
     4  **Test:** [`Burn.Gas.t.sol#L66`](../test/invariants/Burn.Gas.t.sol#L66)
     5  
     6  Asserts that when `Burn.gas(uint256)` is called, it always burns at least the amount of gas passed to the function.