From fe7d389728d065eb0087d66f6cd994a11a4dcb2d Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Mon, 8 Jan 2024 22:24:15 +0100
Subject: [PATCH] use Domain.recommended_domain_count instead of hardcoded
 default number of workers

---
 src/bin/owi.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bin/owi.ml b/src/bin/owi.ml
index d8ba87caf..868c77f62 100644
--- 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