From 5dc6f3c7fb898d0b145d63384f013410fd042a59 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 2 Jun 2015 14:33:26 +0200
Subject: [PATCH 1/1] [mc] Add a message to explain no property violation is
 found

---
 src/mc/mc_liveness.cpp | 1 +
 src/mc/mc_safety.cpp   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/mc/mc_liveness.cpp b/src/mc/mc_liveness.cpp
index 123352eba2..927692d5b9 100644
--- a/src/mc/mc_liveness.cpp
+++ b/src/mc/mc_liveness.cpp
@@ -393,6 +393,7 @@ void MC_modelcheck_liveness(void)
   MC_pre_modelcheck_liveness();
 
   /* We're done */
+  XBT_INFO("No property violation found.");
   MC_print_statistics(mc_stats);
   xbt_free(mc_time);
 }
diff --git a/src/mc/mc_safety.cpp b/src/mc/mc_safety.cpp
index 2e89053da4..d5fd9bacfe 100644
--- a/src/mc/mc_safety.cpp
+++ b/src/mc/mc_safety.cpp
@@ -246,6 +246,7 @@ static void MC_modelcheck_safety_main(void)
       }
     }
   }
+  XBT_INFO("No property violation found.");
   MC_print_statistics(mc_stats);
   return;
 }
-- 
2.20.1