From 9da64d78ccc9366527399cd35b2b3f0c7c4f00d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 21 Nov 2019 13:14:46 +0100
Subject: [PATCH] [Eva] Summary: fixes the number of alarms by category when
using RTE and Eva.
Only counts alarms for which Eva has emitted an unknown or invalid status;
other alarms are not alarms emitted by the Eva analysis.
---
src/plugins/value/utils/value_results.ml | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/value/utils/value_results.ml b/src/plugins/value/utils/value_results.ml
index 4363193a1b5..8cc88aceefd 100644
--- a/src/plugins/value/utils/value_results.ml
+++ b/src/plugins/value/utils/value_results.ml
@@ -506,7 +506,9 @@ let make_report () =
| Some alarm ->
let acc_status, acc_alarms = report.alarms in
report_status acc_status status;
- report_alarm acc_alarms alarm
+ match status with
+ | None | Some Property_status.True -> ()
+ | _ -> report_alarm acc_alarms alarm
end
| Property.IPPropertyInstance _ ->
let status = get_status ip in
--
GitLab