From 8ed73437278c613b1d009500b988f85c352a7866 Mon Sep 17 00:00:00 2001
From: r4bbit <445106+0x-r4bbit@users.noreply.github.com>
Date: Mon, 14 Oct 2024 11:50:44 +0200
Subject: [PATCH] chore(certora): dont wait for results

---
 certora/confs/XPToken.conf | 1 -
 1 file changed, 1 deletion(-)

diff --git a/certora/confs/XPToken.conf b/certora/confs/XPToken.conf
index 9bcbb48..169ad05 100644
--- a/certora/confs/XPToken.conf
+++ b/certora/confs/XPToken.conf
@@ -3,7 +3,6 @@
   "msg": "Verifying XPToken.sol",
   "rule_sanity": "basic",
   "verify": "XPToken:certora/specs/XPToken.spec",
-  "wait_for_results": "all",
   "optimistic_loop": true,
   "loop_iter": "3",
   "packages": [