Skip to content

Commit

Permalink
test: fix superchain erc20 invariants (ethereum-optimism#11688)
Browse files Browse the repository at this point in the history
---------

Co-authored-by: 0xDiscotech <[email protected]>
  • Loading branch information
agusduha and 0xDiscotech authored Aug 30, 2024
1 parent d520441 commit f370113
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
# `OptimismSuperchainERC20` Invariants

## Calls to sendERC20 should always succeed as long as the actor has enough balance. Actor's balance should also not increase out of nowhere but instead should decrease by the amount sent.
**Test:** [`OptimismSuperchainERC20.t.sol#L194`](../test/invariants/OptimismSuperchainERC20.t.sol#L194)
**Test:** [`OptimismSuperchainERC20.t.sol#L196`](../test/invariants/OptimismSuperchainERC20.t.sol#L196)



## Calls to relayERC20 should always succeeds when a message is received from another chain. Actor's balance should only increase by the amount relayed.
**Test:** [`OptimismSuperchainERC20.t.sol#L212`](../test/invariants/OptimismSuperchainERC20.t.sol#L212)
**Test:** [`OptimismSuperchainERC20.t.sol#L214`](../test/invariants/OptimismSuperchainERC20.t.sol#L214)

Original file line number Diff line number Diff line change
Expand Up @@ -62,6 +62,8 @@ contract OptimismSuperchainERC20_User is StdUtils {
return;
}

if (_chainId == block.chainid) return;

// Bound send amount to our ERC20 balance.
_amount = bound(_amount, 0, superchainERC20.balanceOf(address(this)));

Expand Down

0 comments on commit f370113

Please sign in to comment.