From c7f800fd85a2326c09ffd8cbaf2337156aa8f75c Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Fri, 23 Feb 2024 13:56:00 +0100
Subject: [PATCH] cleanup: remove unused certora config

We're using scripts in `certora/scripts`, so I'm removing the config
file from here as we otherwise run into inconsistencies.
---
 certora/certora.conf | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 certora/certora.conf

diff --git a/certora/certora.conf b/certora/certora.conf
deleted file mode 100644
index dea973e..0000000
--- a/certora/certora.conf
+++ /dev/null
@@ -1,15 +0,0 @@
-{
-  "files": [
-    "contracts/tokens/CollectibleV1.sol",
-    "certora/harness/CollectibleV1Harness.sol",
-    "contracts/tokens/OwnerToken.sol",
-    "contracts/tokens/MasterToken.sol"
-  ],
-  "msg": "Verifying CollectibleV1.sol",
-  "rule_sanity": "basic",
-  "verify": "CollectibleV1Harness:certora/specs/CollectibleV1.spec",
-  "link": ["CollectibleV1Harness:ownerToken=OwnerToken", "CollectibleV1Harness:masterToken=MasterToken"],
-  "packages": ["@openzeppelin=lib/openzeppelin-contracts"],
-  "optimistic_loop": true,
-  "loop_iter": "3"
-}