From c986804239d2fa2ae5f33e328afedd8e24d0aa41 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Mon, 20 Dec 2021 14:23:22 +0100
Subject: [PATCH] [Reduction] fix help messages
---
src/plugins/reduc/reduc_options.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/reduc/reduc_options.ml b/src/plugins/reduc/reduc_options.ml
index ad35ea9c8c1..780909519b2 100644
--- a/src/plugins/reduc/reduc_options.ml
+++ b/src/plugins/reduc/reduc_options.ml
@@ -24,7 +24,7 @@ include Plugin.Register
(struct
let name = "Reduction"
let shortname = "reduc"
- let help = "Generate ACSL annotations from Value Analysis informations"
+ let help = "Generate ACSL annotations from Eva information"
end)
module Reduc =
@@ -40,7 +40,7 @@ module GenAnnot =
(struct
let option_name = "-reduc-gen-annot"
let arg_name = "gen-annot-heuristic"
- let help = "Heuristic to generate annotations from Value"
+ let help = "Heuristic to generate annotations from Eva"
let default = "inout"
end)
let () = GenAnnot.set_possible_values ["inout"; "all"]
--
GitLab