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

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

diff --git a/certora/confs/termRepoServicer.conf b/certora/confs/termRepoServicer.conf
index bb7fa3b..de603df 100644
--- a/certora/confs/termRepoServicer.conf
+++ b/certora/confs/termRepoServicer.conf
@@ -18,12 +18,8 @@
         "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
     ],
     "prover_args": [
-		"-smt_initialSplitDepth 10",
-		"-depth 20",
-		"-mediumTimeout 2",
-		"-splitParallel true",
-		"-splitParallelTimelimit 7200",
-		"-splitParallelInitialDepth 10"
+		"-depth 15",
+        "-splitParallel true"
 	],
     "solc_optimize": "50",
     "loop_iter": "2",