From e6b60d269495cf54574731a33b82d165a588d7b8 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 2 Sep 2019 11:47:06 +0200
Subject: [PATCH] [Eva] fix typo and improve help of option -eva-mlevel
---
src/plugins/value/value_parameters.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 5eb874d2566..5d65031bc02 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -1375,8 +1375,8 @@ module MallocLevel =
let option_name = "-eva-mlevel"
let default = 0
let arg_name = "m"
- let help = "sets to [m] the number of precise dynamic allocation for any \
- given callstack"
+ let help = "sets to [m] the number of precise dynamic allocations \
+ besides the initial one, for each callstack (defaults to 0)"
end)
let () = MallocLevel.add_aliases ["-val-mlevel"]
--
GitLab