From 39f29ec3fd95a715d06373cad6dd264cf4675eaa Mon Sep 17 00:00:00 2001
From: Thomas Adams <tadams_certora@Thomass-MacBook-Pro-2.local>
Date: Mon, 23 May 2022 09:52:25 -0700
Subject: [PATCH] Added spec for ERC1155Burnable with rule sanity

---
 certora/specs/ERC1155Burnable.spec | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 certora/specs/ERC1155Burnable.spec

diff --git a/certora/specs/ERC1155Burnable.spec b/certora/specs/ERC1155Burnable.spec
new file mode 100644
index 000000000..3e67c1919
--- /dev/null
+++ b/certora/specs/ERC1155Burnable.spec
@@ -0,0 +1,7 @@
+rule sanity {
+    method f; env e; calldataarg args;
+
+    f(e, args);
+
+    assert false;
+}
\ No newline at end of file