use Domain.recommended_domain_count instead of hardcoded default number

of workers
OCamlPro · Jan 8, 2024 · fe7d389 · fe7d389
1 parent a830cbb
commit fe7d389
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/bin/owi.ml b/src/bin/owi.ml
@@ -37,7 +37,7 @@ let unsafe =
 
 let workers =
   let doc = "number of workers for symbolic execution" in
-  Cmdliner.Arg.(value & opt int 4 & info [ "workers"; "w" ] ~doc)
+  Cmdliner.Arg.(value & opt int (Domain.recommended_domain_count ()) & info [ "workers"; "w" ] ~doc)
 
 let workspace =
   let doc = "path to the workspace directory" in