From 7a5b2d390812e8b6049f1899a26513a3b84b8cfe Mon Sep 17 00:00:00 2001
From: Andrew Zhou <andrew@termfinance.io>
Date: Wed, 26 Jun 2024 11:21:11 -0700
Subject: [PATCH] redemption reverts branch version removed

---
 certora/confs/termRepoServicer-redemptionsReverts.conf | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/certora/confs/termRepoServicer-redemptionsReverts.conf b/certora/confs/termRepoServicer-redemptionsReverts.conf
index 0412b58..86f89b6 100644
--- a/certora/confs/termRepoServicer-redemptionsReverts.conf
+++ b/certora/confs/termRepoServicer-redemptionsReverts.conf
@@ -17,12 +17,8 @@
         "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
     ],
     "prover_args": [
-		"-smt_initialSplitDepth 5",
-		"-depth 17",
-		"-mediumTimeout 2",
-		"-splitParallel true",
-		"-splitParallelTimelimit 7200",
-		"-splitParallelInitialDepth 5"
+		"-depth 15",
+        "-splitParallel true"
 	],
     "solc_optimize": "50",
     "ignore_solidity_warnings": true,