File tree Expand file tree Collapse file tree 1 file changed +4
-5
lines changed
packages/horizon/test/unit/escrow Expand file tree Collapse file tree 1 file changed +4
-5
lines changed Original file line number Diff line number Diff line change @@ -35,11 +35,10 @@ contract GraphEscrowGettersTest is GraphEscrowTest {
3535 uint256 amountThawing ,
3636 uint256 amountCollected
3737 ) public useGateway useDeposit (amountDeposit) {
38- vm.assume (amountThawing > 0 );
39- vm.assume (amountDeposit > 0 );
40- vm.assume (amountDeposit >= amountThawing);
41- vm.assume (amountDeposit >= amountCollected);
42- vm.assume (amountDeposit - amountCollected < amountThawing);
38+ // amountCollected must be >= 1 for valid range, and <= amountDeposit
39+ amountCollected = bound (amountCollected, 1 , amountDeposit);
40+ // amountThawing must be in (amountDeposit - amountCollected, amountDeposit]
41+ amountThawing = bound (amountThawing, amountDeposit - amountCollected + 1 , amountDeposit);
4342
4443 // thaw some funds
4544 _thawEscrow (users.verifier, users.indexer, amountThawing);
You can’t perform that action at this time.
0 commit comments