From ed9297ff8816286822ffb4fb07636f2cdf0b630d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 18 Feb 2021 11:03:33 +0100
Subject: [PATCH] [Eva] Audit mode: changes the warning message on missing
files.
---
src/kernel_services/ast_queries/file.ml | 2 +-
tests/value/oracle/audit.res.oracle | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/kernel_services/ast_queries/file.ml b/src/kernel_services/ast_queries/file.ml
index 3d5d0970665..6cd0cc0cecf 100644
--- a/src/kernel_services/ast_queries/file.ml
+++ b/src/kernel_services/ast_queries/file.ml
@@ -1728,7 +1728,7 @@ let check_source_hashes expected actual_table =
if missing <> [] then begin
let missing = List.sort Extlib.compare_ignore_case missing in
Kernel.warning ~wkey:Kernel.wkey_audit
- "missing hashes for files:@\n%a"
+ "missing files:@\n%a"
(Pretty_utils.pp_list ~sep:"@\n" Format.pp_print_string) missing
end
diff --git a/tests/value/oracle/audit.res.oracle b/tests/value/oracle/audit.res.oracle
index 8cb4e84028b..338a77c21a7 100644
--- a/tests/value/oracle/audit.res.oracle
+++ b/tests/value/oracle/audit.res.oracle
@@ -3,7 +3,7 @@
[kernel:audit] Warning:
different hashes for tests/value/audit_included_but_not_listed.h: got c2cc488143a476f69cf2ed04c3439e6e, expected <none> (not in list)
[kernel:audit] Warning:
- missing hashes for files:
+ missing files:
tests/value/non_existing_file.h
[kernel] Audit: sources list written to: tests/value/result/audit-out.json
[kernel] Parsing tests/value/audit.c (with preprocessing)
--
GitLab