From dfa15ec5c9a285e9497de3f7afa9322de5887829 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Tue, 11 Jun 2024 17:28:33 +0200
Subject: [PATCH] fix: splitParallel naming

---
 certora/confs/Reverts.conf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/confs/Reverts.conf b/certora/confs/Reverts.conf
index 15b75556..0960539b 100644
--- 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",