Change config

makerdao · Dec 2, 2024 · 6bb11f9 · 6bb11f9
1 parent cdfe6e1
commit 6bb11f9
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/PSM3.conf b/PSM3.conf
@@ -27,7 +27,6 @@
     "smt_timeout": "7200",
     "global_timeout": "7200",
     "prover_args": [
-        "-depth 0",
         " -s [z3:def{randomSeed=1},z3:def{randomSeed=2},z3:def{randomSeed=3},z3:def{randomSeed=4},z3:def{randomSeed=5},z3:def{randomSeed=6},z3:def{randomSeed=7},z3:def{randomSeed=8},z3:def{randomSeed=9},z3:def{randomSeed=10}]"
     ],
     "build_cache": true,