From 044fb4aa046302d50aa7595ff5c98483261d3efa Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 13 Sep 2021 12:24:55 +0200
Subject: [PATCH] Review the help message.
---
src/main.ml | 10 ++++------
1 file changed, 4 insertions(+), 6 deletions(-)
diff --git a/src/main.ml b/src/main.ml
index d41168ea..af386438 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -125,13 +125,11 @@ let verify_cmd =
let doc = "Prover to use" in
Arg.(required & opt (some string) None & info [ "p"; "prover" ] ~doc)
in
- let doc = "Property verification of neural networks." in
- let exits = Term.default_exits in
- let man =
- [
- `S Manpage.s_description; `P "Property verification via external solvers.";
- ]
+ let doc =
+ "Property verification of neural networks using external provers."
in
+ let exits = Term.default_exits in
+ let man = [ `S Manpage.s_description; `P doc ] in
( Term.(
ret
(const (fun format loadpath prover files ->
--
GitLab