[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 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 */
+  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 2e89053..d5fd9ba 100644 (file)
--- 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;
 }