From 023e43f4ad783d92f965dac11bda2921a6918b08 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Fri, 23 Feb 2024 13:56:38 +0100
Subject: [PATCH] chore(certora/scripts): remove wait for all results option

---
 certora/scripts/verify-collectible-v1.sh           | 1 -
 certora/scripts/verify-community-token-deployer.sh | 1 -
 2 files changed, 2 deletions(-)

diff --git a/certora/scripts/verify-collectible-v1.sh b/certora/scripts/verify-collectible-v1.sh
index 3de5760..db9c3ff 100755
--- a/certora/scripts/verify-collectible-v1.sh
+++ b/certora/scripts/verify-collectible-v1.sh
@@ -6,6 +6,5 @@ certoraRun \
 --optimistic_loop \
 --loop_iter 3 \
 --rule_sanity "basic" \
---wait_for_results "all" \
 --msg "Verifying CollectibleV1.sol"
 
diff --git a/certora/scripts/verify-community-token-deployer.sh b/certora/scripts/verify-community-token-deployer.sh
index e318e45..10aeb13 100755
--- a/certora/scripts/verify-community-token-deployer.sh
+++ b/certora/scripts/verify-community-token-deployer.sh
@@ -10,6 +10,5 @@ certoraRun \
 --packages @openzeppelin=lib/openzeppelin-contracts \
 --optimistic_loop \
 --rule_sanity "basic" \
---wait_for_results "all" \
 --msg "Verifying CommunityTokenDeployer.sol"