From ab6df6901a4a9cb0d8dec29c301bd844228be680 Mon Sep 17 00:00:00 2001 From: epatrizio Date: Thu, 1 Feb 2024 14:08:45 +0100 Subject: [PATCH] absent value desc of --workers deterministic Fixes: https://github.com/OCamlPro/owi/issues/141 --- example/c/README.md | 6 ++++-- example/sym/README.md | 6 ++++-- src/bin/owi.ml | 7 +++++-- 3 files changed, 13 insertions(+), 6 deletions(-) diff --git a/example/c/README.md b/example/c/README.md index 991b31975..3f20c40b1 100644 --- a/example/c/README.md +++ b/example/c/README.md @@ -231,8 +231,10 @@ OPTIONS -u, --unsafe skip typechecking pass - -w VAL, --workers=VAL (absent=4) - number of workers for symbolic execution + -w VAL, --workers=VAL (absent=n) + number of workers for symbolic execution. Defaults to a + machine-specific value given by the OCaml + Domain.recommended_domain_count function. COMMON OPTIONS --help[=FMT] (default=auto) diff --git a/example/sym/README.md b/example/sym/README.md index b42e3e837..b609e90c0 100644 --- a/example/sym/README.md +++ b/example/sym/README.md @@ -65,8 +65,10 @@ OPTIONS -u, --unsafe skip typechecking pass - -w VAL, --workers=VAL (absent=4) - number of workers for symbolic execution + -w VAL, --workers=VAL (absent=n) + number of workers for symbolic execution. Defaults to a + machine-specific value given by the OCaml + Domain.recommended_domain_count function. --workspace=VAL (absent=owi-out) path to the workspace directory diff --git a/src/bin/owi.ml b/src/bin/owi.ml index 82d8e28fc..012ba731c 100644 --- a/src/bin/owi.ml +++ b/src/bin/owi.ml @@ -44,11 +44,14 @@ let unsafe = Cmdliner.Arg.(value & flag & info [ "unsafe"; "u" ] ~doc) let workers = - let doc = "number of workers for symbolic execution" in + let doc = + "number of workers for symbolic execution. Defaults to a machine-specific \ + value given by the OCaml Domain.recommended_domain_count function." + in Cmdliner.Arg.( value & opt int (Domain.recommended_domain_count ()) - & info [ "workers"; "w" ] ~doc ) + & info [ "workers"; "w" ] ~doc ~absent:"n" ) let workspace = let doc = "path to the workspace directory" in