fix: send_value fuzz test for ICA (#3469)

### Description

make sure we assume `value <= balance - gasQuote` in ICA tests

### Drive-by changes

none

### Related issues

- fixes https://github.com/hyperlane-xyz/hyperlane-monorepo/issues/3468

### Testing

fuzz
pull/3473/head
Kunal Arora 8 months ago committed by GitHub
parent fcb5f798ad
commit d224c060d4
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 4
      solidity/test/InterchainAccountRouter.t.sol

@ -623,7 +623,9 @@ contract InterchainAccountRouterTest is Test {
}
function testFuzz_sendValue(uint256 value) public {
vm.assume(value > 0 && value <= address(this).balance);
vm.assume(
value > 0 && value <= address(this).balance - gasPaymentQuote
);
payable(address(ica)).transfer(value);
bytes memory data = abi.encodeCall(this.receiveValue, (value));

Loading…
Cancel
Save