diff --git a/src/plugins/value/utils/value_results.ml b/src/plugins/value/utils/value_results.ml
index 4363193a1b51f6a8de4275dde0e0a23aa1f4434e..8cc88aceefd9a87fbfa0bcac72f3807755a8fe04 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