From c8d7d05d30f660fca388ee83419cff7ee255a802 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 23 Sep 2020 14:11:40 +0200
Subject: [PATCH] [Eva] Fixes the parameters name in the message of
-eva-builtins-list.
---
src/plugins/value/domains/cvalue/builtins.ml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/value/domains/cvalue/builtins.ml b/src/plugins/value/domains/cvalue/builtins.ml
index f992d2c0885..e8478f7c7f8 100644
--- a/src/plugins/value/domains/cvalue/builtins.ml
+++ b/src/plugins/value/domains/cvalue/builtins.ml
@@ -27,7 +27,7 @@ exception Invalid_nb_of_args of int
(* 'Always' means the builtin will always be used to replace a function
with its name. 'OnAuto' means that the function will be replaced only
- if -val-builtins-auto is set. *)
+ if -eva-builtins-auto is set. *)
type use_builtin = Always | OnAuto
(* Table of all registered builtins; filled by [register_builtin] calls. *)
@@ -83,7 +83,7 @@ let () =
Log.print_on_output
(fun fmt ->
Format.fprintf fmt "@[*** LIST OF EVA BUILTINS@\n@\n\
- ** Replacements set by -val-builtins-auto:\
+ ** Replacements set -eva-builtins-auto:\
@\n unless otherwise specified, \
function <f> is replaced by builtin \
Frama_C_<f>:@\n@\n @[%a@]@]@\n"
@@ -97,7 +97,7 @@ let () =
Log.print_on_output
(fun fmt ->
Format.fprintf fmt "@\n@[** Full list of builtins \
- (configurable via -val-builtin):@\n\
+ (configurable via -eva-builtin):@\n\
@\n @[%a@]@]@\n"
(Pretty_utils.pp_list ~sep:",@ "
Format.pp_print_string) stand_alone);
--
GitLab