certora: update send only flag

mimic-fi · Oct 18, 2023 · e06e345 · e06e345
1 parent ce0677c
commit e06e345
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/packages/authorizer/certora/conf/authorizer.conf b/packages/authorizer/certora/conf/authorizer.conf
@@ -6,7 +6,7 @@
   "verify": "Authorizer:certora/specs/Authorizer.spec",
   "loop_iter": "3",
   "rule_sanity": "basic",
-  "send_only": true,
+  "wait_for_results": false,
   "optimistic_hashing": true,
   "prover_args": [
     "-copyLoopUnroll 8",

diff --git a/packages/relayer/certora/conf/relayer.conf b/packages/relayer/certora/conf/relayer.conf
@@ -7,7 +7,7 @@
   "verify": "RelayerHarness:certora/specs/Relayer.spec",
   "loop_iter": "3",
   "rule_sanity": "basic",
-  "send_only": true,
+  "wait_for_results": false,
   "optimistic_hashing": true,
   "prover_args": [
     "-copyLoopUnroll 8",

diff --git a/packages/smart-vault/certora/conf/smart-vault.conf b/packages/smart-vault/certora/conf/smart-vault.conf
@@ -16,7 +16,7 @@
   ],
   "loop_iter": "4",
   "rule_sanity": "basic",
-  "send_only": true,
+  "wait_for_results": false,
   "optimistic_hashing": true,
   "prover_args": [
     "-copyLoopUnroll 8",