From 0211ea29e9abdc7c4555ee21d0d21ecd72dca01b Mon Sep 17 00:00:00 2001
From: 0xb337r007 <0xe4e5@proton.me>
Date: Mon, 3 Jun 2024 12:04:58 +0200
Subject: [PATCH] add RULE argument to certora script

---
 certora/scripts/verify-marketplace.sh | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/certora/scripts/verify-marketplace.sh b/certora/scripts/verify-marketplace.sh
index 02baa2fc..1dde17ee 100755
--- a/certora/scripts/verify-marketplace.sh
+++ b/certora/scripts/verify-marketplace.sh
@@ -1,7 +1,18 @@
+if [[ "$1" ]]
+then
+  RULE="--rule $1"
+fi
+
+if [[ "$2" ]]
+then
+  MSG="- $2"
+fi
+
 certoraRun \
   contracts/Marketplace.sol \
 --verify Marketplace:certora/specs/Marketplace.spec \
 --optimistic_loop \
 --loop_iter 3 \
 --rule_sanity "basic" \
---msg "Verifying Marketplace.sol"
+$RULE \
+--msg "Verifying Marketplace.sol $RULE $MSG"