fix: splitParallel naming

morpho-org · Jun 11, 2024 · dfa15ec · dfa15ec
1 parent 5e1a8b9
commit dfa15ec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
@@ -20,7 +20,7 @@
     "prover_args": [
         "-depth 5",
         "-mediumTimeout 40",
-        "-newSplitParallel true",
+        "-splitParallel true",
         "-splitParallelInitialDepth 4",
         "-splitParallelTimelimit 7000",
         "-adaptiveSolverConfig false",