refactor choice monad

OCamlPro · Oct 14, 2023 · c09f32b · c09f32b
1 parent 055bbde
commit c09f32b
Show file tree

Hide file tree

Showing 8 changed files with 426 additions and 488 deletions.
diff --git a/src/bin/owi.ml b/src/bin/owi.ml
@@ -29,6 +29,10 @@ let unsafe =
   let doc = "skip typechecking pass" in
   Cmdliner.Arg.(value & flag & info [ "unsafe"; "u" ] ~doc)
 
+let workers =
+  let doc = "number of workers for symbolic execution" in
+  Cmdliner.Arg.(value & opt int 4 & info [ "workers"; "w" ] ~doc)
+
 let copts_t = Cmdliner.Term.(const [])
 
 let sdocs = Cmdliner.Manpage.s_common_options
@@ -68,7 +72,9 @@ let sym_cmd =
     Cmd.info "sym" ~version ~doc ~sdocs ~man
   in
   Cmd.v info
-    Term.(const Cmd_sym.cmd $ profiling $ debug $ unsafe $ optimize $ files)
+    Term.(
+      const Cmd_sym.cmd $ profiling $ debug $ unsafe $ optimize $ workers
+      $ files )
 
 let cli =
   let open Cmdliner in