github.com/ethereum-optimism/optimism@v1.7.2/packages/contracts-bedrock/test/invariants (about) AddressAliasHelper.t.sol Burn.Eth.t.sol Burn.Gas.t.sol CrossDomainMessenger.t.sol Encoding.t.sol FaultDisputeGame.t.sol Hashing.t.sol InvariantTest.sol L2OutputOracle.t.sol OptimismPortal.t.sol OptimismPortal2.t.sol ResourceMetering.t.sol SafeCall.t.sol SystemConfig.t.sol