From 7f31522cb2ac5c29c440d10b11885f0e4c6dc4d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 2 Sep 2020 13:44:16 +0200
Subject: [PATCH] [Eva] Renames the message key 'correctness' into 'config'.
---
src/plugins/value/value_parameters.ml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 70dec40e568..43f2ce48161 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -84,7 +84,7 @@ let dkey_incompatible_states = register_category "incompatible-states"
let dkey_iterator = register_category "iterator"
let dkey_callbacks = register_category "callbacks"
let dkey_widening = register_category "widening"
-let dkey_correctness = register_category "correctness"
+let dkey_config = register_category "config"
let () =
let activate dkey = add_debug_keys dkey in
@@ -1428,8 +1428,8 @@ let parameters_tuning =
Typed_parameter.Set.elements !parameters_tuning
let print_correctness_parameters () =
- feedback ~dkey:dkey_correctness
- "Parameters affecting the correctness of the analysis:";
+ feedback ~dkey:dkey_config
+ "Correctness parameters of the analysis:";
let print param =
let name = param.Typed_parameter.name in
let value = Typed_parameter.get_value param in
@@ -1446,12 +1446,12 @@ let print_warning_status name (module Plugin: Log.Messages) =
let is_enabled (_key, status) = is_active status in
let enabled, disabled = List.partition is_enabled warning_categories in
let pp_categories = Pretty_utils.pp_list ~sep:",@ " Plugin.pp_warn_category in
- feedback ~dkey:dkey_correctness "%s warning categories:" name;
+ feedback ~dkey:dkey_config "%s warning categories:" name;
printf " Enabled: @[%a@]" pp_categories (List.map fst enabled);
printf " Disabled: @[%a@]" pp_categories (List.map fst disabled)
let print_configuration () =
- if is_debug_key_enabled dkey_correctness
+ if is_debug_key_enabled dkey_config
then
begin
print_correctness_parameters ();
--
GitLab