remove deprecated prover tag

Certora · Jan 8, 2025 · 6813a0d · 6813a0d
1 parent 3b7f624
commit 6813a0d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/certora/conf/run.conf b/certora/conf/run.conf
@@ -14,7 +14,6 @@
     ],
     "rule_sanity": "basic",
     "run_source": "MUTATION",
-    "send_only": true,
     "solc": "solc7.6",
     "verify": "SafeHarness:certora/specs/Safe.spec"
 }