chore(certora/scripts): remove wait for all results option

status-im · Feb 26, 2024 · 023e43f · 023e43f
1 parent c7f800f
commit 023e43f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git 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
@@ -10,6 +10,5 @@ certoraRun \
 --packages @openzeppelin=lib/openzeppelin-contracts \
 --optimistic_loop \
 --rule_sanity "basic" \
---wait_for_results "all" \
 --msg "Verifying CommunityTokenDeployer.sol"