Skip to content

Commit

Permalink
test: tweak assume
Browse files Browse the repository at this point in the history
  • Loading branch information
0xAustrian committed May 7, 2024
1 parent 9fda729 commit a2dad84
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion foundry.toml
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ out = 'out-via-ir'
src = 'src/interfaces/'

[fuzz]
runs = 500
runs = 10000
max_test_rejects = 1000000

[rpc_endpoints]
Expand Down
4 changes: 2 additions & 2 deletions test/unit/BPool.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -326,9 +326,9 @@ contract BPool_Unit_JoinPool is Base {
// }

vm.assume(_fuzz.balance0 > MIN_BALANCE);
vm.assume(_fuzz.balance0 < MIN_BALANCE * 1000000); // TODO: found a better max
vm.assume(_fuzz.balance0 < type(uint256).max / BONE); // TODO: found a better max
vm.assume(_fuzz.balance1 > MIN_BALANCE);
vm.assume(_fuzz.balance1 < MIN_BALANCE * 1000000); // TODO: found a better max
vm.assume(_fuzz.balance1 < type(uint256).max / BONE); // TODO: found a better max
// vm.assume(_fuzz.balance2 < MIN_BALANCE * 1000000); // TODO: found a better max
// vm.assume(_fuzz.balance2 > MIN_BALANCE);
// vm.assume(_fuzz.balance3 < MIN_BALANCE * 1000000); // TODO: found a better max
Expand Down

0 comments on commit a2dad84

Please sign in to comment.