add RULE argument to certora script

0xb337r007 · Jun 3, 2024 · 0211ea2 · 0211ea2
1 parent fd04a9a
commit 0211ea2
Showing 1 changed file with 12 additions and 1 deletion.
diff --git 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"