From e4492aed8a7904ee932a6af241f201a9aeee5b9f Mon Sep 17 00:00:00 2001 From: Thomas Adams Date: Tue, 7 Jun 2022 17:25:35 -0700 Subject: [PATCH] Cleaned up code for rule transfersHaveSameLengthInputArrays (passing) --- certora/specs/ERC1155Supply.spec | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec index caabff78e..a843ff378 100644 --- a/certora/specs/ERC1155Supply.spec +++ b/certora/specs/ERC1155Supply.spec @@ -117,9 +117,8 @@ 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;