fix(test): replace failing test assume boundaries with bound

hypercerts-org · May 29, 2024 · 5927baa · 5927baa
1 parent b4a47f1
commit 5927baa
Showing 1 changed file with 12 additions and 6 deletions.
diff --git a/contracts/test/foundry/marketplace/BatchMakerOrders.t.sol b/contracts/test/foundry/marketplace/BatchMakerOrders.t.sol
@@ -39,7 +39,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     }
 
     function testTakerBidMultipleOrdersSignedERC721(uint256 numberOrders, uint256 orderIndex) public {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(makerUser, numberOrders);
 
@@ -75,7 +76,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     }
 
     function testTakerAskMultipleOrdersSignedERC721(uint256 numberOrders, uint256 orderIndex) public {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(takerUser, numberOrders);
 
@@ -111,7 +113,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     function testTakerBidMultipleOrdersSignedERC721MerkleProofInvalid(uint256 numberOrders, uint256 orderIndex)
         public
     {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(makerUser, numberOrders);
 
@@ -138,7 +141,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     function testTakerAskMultipleOrdersSignedERC721MerkleProofInvalid(uint256 numberOrders, uint256 orderIndex)
         public
     {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(takerUser, numberOrders);
 
@@ -165,7 +169,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     function testTakerBidMultipleOrdersSignedERC721MerkleProofWrongPosition(uint256 numberOrders, uint256 orderIndex)
         public
     {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(makerUser, numberOrders);
 
@@ -199,7 +204,8 @@ contract BatchMakerOrdersTest is ProtocolBase {
     function testTakerAskMultipleOrdersSignedERC721MerkleProofWrongPosition(uint256 numberOrders, uint256 orderIndex)
         public
     {
-        _assertMerkleTreeAssumptions(numberOrders, orderIndex);
+        numberOrders = bound(numberOrders, 1, 2 ** MAX_CALLDATA_PROOF_LENGTH);
+        orderIndex = bound(orderIndex, 0, numberOrders - 1);
 
         mockERC721.batchMint(takerUser, numberOrders);