Use prover version master

aehyvari · aehyvari · commit aeaf0a93ada7 · 2025-10-15T11:27:27.000+02:00
diff --git a/certora/confs/BaseConfForInheritance.conf b/certora/confs/BaseConfForInheritance.conf
@@ -44,5 +44,6 @@
         "-cvlFunctionRevert true"
     ],
     "build_cache": true,
-    "smt_timeout": "6000"
+    "smt_timeout": "6000",
+    "prover_version": "master"
 }
