redemption reverts branch version removed

term-finance · Jun 26, 2024 · 335b4f3 · 335b4f3
1 parent 7a5b2d3
commit 335b4f3
Showing 1 changed file with 2 additions and 6 deletions.
diff --git 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",