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

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

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