Skip to content

Commit

Permalink
fix: migrationContract fuzz inputs
Browse files Browse the repository at this point in the history
  • Loading branch information
DhairyaSethi committed Sep 1, 2023
1 parent 68e90a9 commit b81d8bb
Showing 1 changed file with 8 additions and 3 deletions.
11 changes: 8 additions & 3 deletions test/PolygonMigration.t.sol
Original file line number Diff line number Diff line change
Expand Up @@ -68,7 +68,8 @@ contract PolygonMigrationTest is Test {
vm.assume(
amount <= 10000000000 * 10 ** 18 &&
user != address(0) &&
user != address(migration)
user != address(migration) &&
user != governance
);
matic.mint(user, amount);
vm.startPrank(user);
Expand Down Expand Up @@ -104,7 +105,8 @@ contract PolygonMigrationTest is Test {
amount <= 10000000000 * 10 ** 18 &&
amount2 <= amount &&
user != address(0) &&
user != address(migration)
user != address(migration) &&
user != governance
);
matic.mint(user, amount);
vm.startPrank(user);
Expand All @@ -128,7 +130,8 @@ contract PolygonMigrationTest is Test {
vm.assume(
amount <= 10000000000 * 10 ** 18 &&
user != address(0) &&
user != address(migration)
user != address(migration) &&
user != governance
);
matic.mint(user, amount);
vm.startPrank(user);
Expand Down Expand Up @@ -159,6 +162,7 @@ contract PolygonMigrationTest is Test {
amount2 <= amount &&
user != address(0) &&
user != address(migration) &&
user != governance &&
user != migrateTo &&
migrateTo != address(0) &&
migrateTo != address(migration)
Expand Down Expand Up @@ -192,6 +196,7 @@ contract PolygonMigrationTest is Test {
privKey <
115792089237316195423570985008687907852837564279074904382605163141518161494337 &&
(user = vm.addr(privKey)) != address(migration) &&
user != governance &&
amount <= 10000000000 * 10 ** 18 &&
amount2 <= amount
);
Expand Down

0 comments on commit b81d8bb

Please sign in to comment.