Skip to content

Commit ace7643

Browse files
author
Rahul Maganti
committed
evm: use bound instead of assume
1 parent 8c95b29 commit ace7643

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

evm/test/RateLimit.t.sol

+1-1
Original file line numberDiff line numberDiff line change
@@ -918,7 +918,7 @@ contract TestRateLimit is Test, IRateLimiterEvents {
918918
uint256 totalAmt = (type(uint64).max) / (10 ** decimals);
919919
// avoids the ZeroAmount() error
920920
// cannot transfer more than what's available
921-
vm.assume(transferAmt > 0 && transferAmt <= totalAmt);
921+
transferAmt = bound(transferAmt, 1, totalAmt);
922922
// this ensures that the transfer is always queued up
923923
vm.assume(limitAmt < transferAmt);
924924

0 commit comments

Comments
 (0)