From e3341255b284af34225a9d7b4921dc5853b0e81d Mon Sep 17 00:00:00 2001
From: Thomas Adams <thomas.harlan.adams@gmail.com>
Date: Mon, 6 Jun 2022 11:24:16 -0700
Subject: [PATCH] Added rule skeletons for equivalence rules

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

diff --git a/certora/specs/ERC1155Supply.spec b/certora/specs/ERC1155Supply.spec
index 867dac46f..8956a537a 100644
--- a/certora/specs/ERC1155Supply.spec
+++ b/certora/specs/ERC1155Supply.spec
@@ -33,6 +33,16 @@ filtered {
 /// TODO possibly show equivalence between batch and non-batch methods
 /// in order to leverage non-batch rules wrt batch rules
 
+rule singleTokenSafeTransferFromSafeBatchTransferFromEquivalence {
+    assert false, 
+    "TODO implement this rule using burn version as structural model"
+}
+
+rule multipleTokenSafeTransferFromSafeBatchTransferFromEquivalence {
+    assert false, 
+    "TODO implement this rule using burn version as structural model"
+}
+
 /******************************************************************************/
 
 ghost mapping(uint256 => mathint) sumOfBalances {