test(forge): assume receiver not blue

morpho-org · Jul 31, 2023 · aec6b4e · aec6b4e
1 parent 8e538da
commit aec6b4e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/forge/Blue.t.sol b/test/forge/Blue.t.sol
@@ -315,6 +315,7 @@ contract BlueTest is
     }
 
     function testBorrow(uint256 amountLent, uint256 amountBorrowed, address receiver) public {
+        vm.assume(receiver != address(blue));
         amountLent = bound(amountLent, 1, 2 ** 64);
         amountBorrowed = bound(amountBorrowed, 1, 2 ** 64);
 
@@ -339,6 +340,7 @@ contract BlueTest is
     function testWithdraw(uint256 amountLent, uint256 amountWithdrawn, uint256 amountBorrowed, address receiver)
         public
     {
+        vm.assume(receiver != address(blue));
         amountLent = bound(amountLent, 1, 2 ** 64);
         amountWithdrawn = bound(amountWithdrawn, 1, 2 ** 64);
         amountBorrowed = bound(amountBorrowed, 1, 2 ** 64);
@@ -471,6 +473,7 @@ contract BlueTest is
     }
 
     function testWithdrawCollateral(uint256 amountDeposited, uint256 amountWithdrawn, address receiver) public {
+        vm.assume(receiver != address(blue));
         amountDeposited = bound(amountDeposited, 1, 2 ** 64);
         amountWithdrawn = bound(amountWithdrawn, 1, 2 ** 64);