Skip to content

Commit

Permalink
Fmt
Browse files Browse the repository at this point in the history
  • Loading branch information
wcgcyx committed Feb 20, 2024
1 parent cd5c46d commit 4aff167
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 14 deletions.
21 changes: 8 additions & 13 deletions test/invariant/InvariantBridge.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ contract InvariantBridge is Test {
ChildERC20 rootIMXToken = new ChildERC20();
rootIMXToken.initialize(address(123), "Immutable X", "IMX", 18);
WIMX wETH = new WIMX();

// Deploy both helpers on both chains.
vm.selectFork(childId);
vm.startPrank(ADMIN);
Expand Down Expand Up @@ -151,30 +151,25 @@ contract InvariantBridge is Test {

// Deploy handlers
vm.selectFork(childId);
ChildERC20BridgeHandler childBridgeHandler = new ChildERC20BridgeHandler(childId, users, rootTokens, address(childHelper), address(rootHelper));
ChildERC20BridgeHandler childBridgeHandler =
new ChildERC20BridgeHandler(childId, users, rootTokens, address(childHelper), address(rootHelper));

vm.selectFork(rootId);
rootBridgeHandler = new RootERC20BridgeFlowRateHandler(rootId, users, rootTokens, address(childHelper), address(rootHelper));
rootBridgeHandler =
new RootERC20BridgeFlowRateHandler(rootId, users, rootTokens, address(childHelper), address(rootHelper));

// Target contracts
bytes4[] memory childSelectors = new bytes4[](1);
childSelectors[0] = childBridgeHandler.withdraw.selector;
targetSelector(FuzzSelector({
addr: address(childBridgeHandler),
selectors: childSelectors
}));
targetSelector(FuzzSelector({addr: address(childBridgeHandler), selectors: childSelectors}));

bytes4[] memory rootSelectors = new bytes4[](1);
rootSelectors[0] = rootBridgeHandler.deposit.selector;
targetSelector(FuzzSelector({
addr: address(rootBridgeHandler),
selectors: rootSelectors
}));
targetSelector(FuzzSelector({addr: address(rootBridgeHandler), selectors: rootSelectors}));

targetContract(address(childBridgeHandler));
targetContract(address(rootBridgeHandler));
}

function invariant_A() external {
}
function invariant_A() external {}
}
1 change: 0 additions & 1 deletion test/invariant/MockAdaptor.sol
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,6 @@ import {IChildBridgeAdaptor} from "../../src/interfaces/child/IChildBridgeAdapto
import {IRootBridgeAdaptor} from "../../src/interfaces/root/IRootBridgeAdaptor.sol";
import "forge-std/console.sol";


interface MessageReceiver {
function onMessageReceive(bytes calldata data) external;
}
Expand Down

0 comments on commit 4aff167

Please sign in to comment.