get mint integrity to stop timing out

term-finance · Jun 27, 2024 · ccb2ae4 · ccb2ae4
1 parent 335b4f3
commit ccb2ae4
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/certora/confs/termRepoServicer-mintIntegrity.conf b/certora/confs/termRepoServicer-mintIntegrity.conf
@@ -17,12 +17,8 @@
         "TermRepoCollateralManagerHarness:termRepoLocker=TermRepoLocker"
     ],
     "prover_args": [
-		"-smt_initialSplitDepth 5",
 		"-depth 15",
-		"-mediumTimeout 2",
-		"-splitParallel true",
-		"-splitParallelTimelimit 7200",
-		"-splitParallelInitialDepth 5"
+        "-splitParallel true"
 	],
     "solc_optimize": "50",
     "loop_iter": "2",