From 75a3602ba6762bad2f5de3f8637319b5ea82adf1 Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Tue, 7 Jun 2022 17:16:45 -0700
Subject: [PATCH] Modified rule transfersHaveSameLengthInputArrays (passing) to
 limit array size

---
 certora/specs/ERC1155Supply.spec | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec
index d8e617b5d..caabff78e 100644
--- a/certora/specs/ERC1155Supply.spec
+++ b/certora/specs/ERC1155Supply.spec
@@ -117,6 +117,11 @@ rule transfersHaveSameLengthInputArrays {
 
     address holder; address recipient; bytes data;
     uint256[] tokens; uint256[] transferAmounts;
+//    uint max_int = 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff;
+    uint max_int = 0xffffffffffffffffffffffffffffffff;
+//    require tokens.length >= 0 && tokens.length <= type(uint128).max
+    require tokens.length >= 0 && tokens.length <= max_int;
+    require transferAmounts.length >= 0 && transferAmounts.length <= max_int;
 
     safeBatchTransferFrom(e, holder, recipient, tokens, transferAmounts, data);