evm: use bound in place of vm.assume

Rahul Maganti · Rahul Maganti · commit 9b43312b7ab9 · 2024-03-12T15:56:09.000-04:00
diff --git a/evm/test/RateLimit.t.sol b/evm/test/RateLimit.t.sol
@@ -953,8 +953,8 @@ contract TestRateLimit is Test, IRateLimiterEvents {
     }
 
     function testFuzz_inboundRateLimitShouldQueue(uint256 inboundLimitAmt, uint256 amount) public {
-        vm.assume(amount > 0 && amount <= type(uint64).max);
-        vm.assume(inboundLimitAmt < amount);
+        amount = bound(amount, 1, type(uint64).max);
+        inboundLimitAmt = bound(amount, 0, amount - 1);
 
         address user_B = address(0x456);
 

Original file line number	Diff line number	Diff line change
`@@ -953,8 +953,8 @@ contract TestRateLimit is Test, IRateLimiterEvents {`
`953`	`953`	`}`
`954`	`954`
`955`	`955`	`function testFuzz_inboundRateLimitShouldQueue(uint256 inboundLimitAmt, uint256 amount) public {`
`956`		`- vm.assume(amount > 0 && amount <= type(uint64).max);`
`957`		`- vm.assume(inboundLimitAmt < amount);`
	`956`	`+ amount = bound(amount, 1, type(uint64).max);`
	`957`	`+ inboundLimitAmt = bound(amount, 0, amount - 1);`
`958`	`958`
`959`	`959`	`address user_B = address(0x456);`
`960`	`960`