X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b77b96a6fdd5563137a78a3d678bcbfa8bda66db:/examples/msg/mc/test/snapshot_comparison_liveness4.c..1619b56e8f7f377298f37c4004406c0aab78a151:/examples/msg/mc/test/snapshot_comparison4.c

diff --git a/examples/msg/mc/test/snapshot_comparison_liveness4.c b/examples/msg/mc/test/snapshot_comparison4.c
similarity index 91%
rename from examples/msg/mc/test/snapshot_comparison_liveness4.c
rename to examples/msg/mc/test/snapshot_comparison4.c
index 9c38d3072c..e87c65c0ce 100644
--- a/examples/msg/mc/test/snapshot_comparison_liveness4.c
+++ b/examples/msg/mc/test/snapshot_comparison4.c
@@ -8,7 +8,7 @@
 #include <simgrid/modelchecker.h>
 #include "mc/mc.h"
 
-XBT_LOG_NEW_DEFAULT_CATEGORY(snapshot_comparison_liveness4, "Debug information for snasphot comparison liveness1 test example");
+XBT_LOG_NEW_DEFAULT_CATEGORY(snapshot_comparison_liveness4, "Debug information for snasphot comparison liveness4 test example");
 
 int test(int argc, char **argv);
 
@@ -26,11 +26,15 @@ int test(int argc, char **argv){
 
   MSG_process_sleep(1);
 
+  XBT_INFO("First snapshot");
+
   xbt_free(toto);
   XBT_INFO("Toto free");
 
   void *snap2 = MC_snapshot();
 
+  XBT_INFO("Second snapshot");
+
   MSG_process_sleep(1);
   
   MC_ignore_stack("snap2", "test");