From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 2 Jun 2015 12:33:26 +0000 (+0200)
Subject: [mc] Add a message to explain no property violation is found
X-Git-Tag: v3_12~689
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5dc6f3c7fb898d0b145d63384f013410fd042a59?ds=sidebyside

[mc] Add a message to explain no property violation is found
---

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;
 }