From 06ff33fdd182484304d5afcbc4548796f8224e21 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Wed, 24 Jul 2024 12:17:58 +0200
Subject: [PATCH] chore: remove unused certora script

---
 certora/scripts/verify-marketplace.sh | 22 ----------------------
 1 file changed, 22 deletions(-)
 delete mode 100755 certora/scripts/verify-marketplace.sh

diff --git a/certora/scripts/verify-marketplace.sh b/certora/scripts/verify-marketplace.sh
deleted file mode 100755
index 7f19d449..00000000
--- a/certora/scripts/verify-marketplace.sh
+++ /dev/null
@@ -1,22 +0,0 @@
-if [[ "$1" ]]
-then
-  RULE="--rule $1"
-fi
-
-if [[ "$2" ]]
-then
-  MSG="- $2"
-fi
-
-certoraRun \
-  contracts/Marketplace.sol \
-  certora/helpers/ERC20A.sol \
-  certora/harness/MarketplaceHarness.sol \
-  --verify MarketplaceHarness:certora/specs/Marketplace.spec \
-  --optimistic_loop \
-  --loop_iter 3 \
-  --rule_sanity "basic" \
-  --link Marketplace:_token=ERC20A \
-  --parametric_contracts MarketplaceHarness \
-  $RULE \
-  --msg "Verifying Marketplace.sol $RULE $MSG"