Skip to content

Commit

Permalink
Merge branch 'main' into chore/less-fuzzruns
Browse files Browse the repository at this point in the history
  • Loading branch information
sogipec authored Dec 11, 2023
2 parents 80f3fef + de24501 commit 6ee33be
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions test/fuzz/MockAgEUR.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -24,8 +24,9 @@ contract MockAgEURFuzzTest is Test {
}

function testMintTransfer(uint256 _amount, uint256 _toTransfer) public {
vm.assume(_amount <= 1000000);
vm.assume(_toTransfer <= _amount);
_amount = bound(_amount, 0, 1000000);
_toTransfer = bound(_toTransfer, 0, _amount);

token.mint(alice, _amount);
assertEq(token.balanceOf(alice), _amount);
assertEq(token.balanceOf((bob)), 0);
Expand Down

0 comments on commit 6ee33be

Please sign in to comment.