From 3eb67081f322d71ce9dc7ae632477f7fd8b8e72e Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Thu, 2 Jun 2022 14:15:20 -0700
Subject: [PATCH] Added TODO show equivalence between batch and non-batch
 methods

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

diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec
index 01f392e88..867dac46f 100644
--- a/certora/specs/ERC1155Supply.spec
+++ b/certora/specs/ERC1155Supply.spec
@@ -30,6 +30,9 @@ filtered {
         "methods must not change the total supply of more than one token";
 }
 
+/// TODO possibly show equivalence between batch and non-batch methods
+/// in order to leverage non-batch rules wrt batch rules
+
 /******************************************************************************/
 
 ghost mapping(uint256 => mathint) sumOfBalances {