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

[simgrid.git] / src / mc / mc_liveness.cpp

diff --git a/src/mc/mc_liveness.cpp b/src/mc/mc_liveness.cpp
index 123352e..927692d 100644 (file)
--- 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 */
   MC_pre_modelcheck_liveness();
 
   /* We're done */

+  XBT_INFO("No property violation found.");

   MC_print_statistics(mc_stats);
   xbt_free(mc_time);
 }
   MC_print_statistics(mc_stats);
   xbt_free(mc_time);
 }