UNPKG

@hyperlane-xyz/core

Version:

Core solidity contracts for Hyperlane

www.hyperlane.xyz

hyperlane-xyz/hyperlane-monorepo

13 lines (7 loc) • 525 B
1
2
3
4
5
6
7
8
9
10
11
12
13
# `Burn` Invariants ## `eth(uint256)` always burns the exact amount of eth passed. **Test:** [`FuzzBurn.sol#L35`](../contracts/echidna/FuzzBurn.sol#L35) Asserts that when `Burn.eth(uint256)` is called, it always burns the exact amount of ETH passed to the function. ## `gas(uint256)` always burns at least the amount of gas passed. **Test:** [`FuzzBurn.sol#L77`](../contracts/echidna/FuzzBurn.sol#L77) Asserts that when `Burn.gas(uint256)` is called, it always burns at least the amount of gas passed to the function.