From b753701edf2832520f4488cf12739903dbfa401c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 19 Jun 2020 09:43:07 +0200
Subject: [PATCH] [Dive] Minor fixes to some help messages.
---
src/plugins/dive/self.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/dive/self.ml b/src/plugins/dive/self.ml
index aed894bef8f..4d5fc538ba3 100644
--- a/src/plugins/dive/self.ml
+++ b/src/plugins/dive/self.ml
@@ -26,7 +26,7 @@ include Plugin.Register
(struct
let name = "dive"
let shortname = "dive"
- let help = "An interactive imprecision graph generator."
+ let help = "An interactive imprecision graph generator for Eva."
end)
module OutputDot = Empty_string
@@ -54,7 +54,7 @@ module DepthLimit = Int
module FromFunctionAlarms = Kernel_function_set
(struct
let option_name = "-dive-from-function-alarms"
- let help = "Build the graph from alarms presents in the functions."
+ let help = "Build the graph from the alarms emitted in the given functions."
let arg_name = "f1,..."
end)
@@ -118,7 +118,7 @@ module UnfoldedBases = Varinfo_set
(struct
let option_name = "-dive-unfold"
let help = "Defines the composite variables which should be \
- unfolded into each individual cell."
+ unfolded into individual cells."
let arg_name = "f::v,..."
end)
--
GitLab