redemption reverts branch version removed

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