UNPKG

@hyperlane-xyz/core

Version:

Core solidity contracts for Hyperlane

www.hyperlane.xyz

hyperlane-xyz/hyperlane-monorepo

13 lines (7 loc) • 735 B
1
2
3
4
5
6
7
8
9
10
11
12
13
# `SafeCall` Invariants ## If `callWithMinGas` performs a call, then it must always provide at least the specified minimum gas limit to the subcontext. **Test:** [`SafeCall.t.sol#L33`](../contracts/test/invariants/SafeCall.t.sol#L33) If the check for remaining gas in `SafeCall.callWithMinGas` passes, the subcontext of the call below it must be provided at least `minGas` gas. ## `callWithMinGas` reverts if there is not enough gas to pass to the subcontext. **Test:** [`SafeCall.t.sol#L67`](../contracts/test/invariants/SafeCall.t.sol#L67) If there is not enough gas in the callframe to ensure that `callWithMinGas` can provide the specified minimum gas limit to the subcontext of the call, then `callWithMinGas` must revert.