From 7bf317ef920b7af2ea51fd63e379cffe95ae5ed5 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 11 Jul 2022 21:00:33 +0200
Subject: [PATCH] Property verification is not for NN only.
---
src/main.ml | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/main.ml b/src/main.ml
index f468f089..53efcc8f 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -133,9 +133,7 @@ let config_cmd =
let verify_cmd =
let cmdname = "verify" in
- let doc =
- "Property verification of neural networks using external provers."
- in
+ let doc = "Property verification using external provers." in
let info =
Cmd.info cmdname ~sdocs:Manpage.s_common_options ~exits:Cmd.Exit.defaults
~doc
--
GitLab