[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

@@ -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