From ec68779c5e9229d1db213dcfbefc26fc0514ec36 Mon Sep 17 00:00:00 2001 From: wcgcyx Date: Tue, 20 Feb 2024 15:56:49 +1000 Subject: [PATCH] Update InvariantBridge.t.sol --- test/invariant/InvariantBridge.t.sol | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/test/invariant/InvariantBridge.t.sol b/test/invariant/InvariantBridge.t.sol index 7e89aa74..e87fd435 100644 --- a/test/invariant/InvariantBridge.t.sol +++ b/test/invariant/InvariantBridge.t.sol @@ -20,8 +20,8 @@ contract InvariantBridge is Test { uint256 public constant IMX_DEPOSIT_LIMIT = 10000 ether; uint256 public constant MAX_AMOUNT = 10000; address public constant ADMIN = address(0x111); - uint256 public constant NO_OF_USERS = 20; - uint256 public constant NO_OF_TOKENS = 20; + uint256 public constant NO_OF_USERS = 5; + uint256 public constant NO_OF_TOKENS = 4; uint256 childId; uint256 rootId; @@ -168,14 +168,17 @@ contract InvariantBridge is Test { childSelectors[0] = childBridgeHandler.withdraw.selector; 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})); + // bytes4[] memory rootSelectors = new bytes4[](1); + // rootSelectors[0] = rootBridgeHandler.deposit.selector; + // targetSelector(FuzzSelector({addr: address(rootBridgeHandler), selectors: rootSelectors})); targetContract(address(childBridgeHandler)); - targetContract(address(rootBridgeHandler)); + // targetContract(address(rootBridgeHandler)); } + /// forge-config: default.invariant.runs = 1 + /// forge-config: default.invariant.depth = 10 + /// forge-config: default.invariant.fail-on-revert = true function invariant_A() external { } }