Changed default ESBMC params max depth for OCM to 50

esbmc · Oct 5, 2023 · 465977f · 465977f
1 parent 6f6285c
commit 465977f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config.json b/config.json
@@ -61,7 +61,7 @@
         "--no-pointer-check",
         "--no-div-by-zero-check",
         "--max-k-step",
-        "10"
+        "50"
       ],
       "array_expansion": 5,
       "init_max_depth": 4