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

diff --git a/examples/msg/mc/test/snapshot_comparison_liveness3.c b/examples/msg/mc/test/snapshot_comparison3.c
similarity index 91%
rename from examples/msg/mc/test/snapshot_comparison_liveness3.c
rename to examples/msg/mc/test/snapshot_comparison3.c
index 27703a7a4c..8c3efd3a67 100644
--- a/examples/msg/mc/test/snapshot_comparison_liveness3.c
+++ b/examples/msg/mc/test/snapshot_comparison3.c
@@ -8,7 +8,7 @@
 #include <simgrid/modelchecker.h>
 #include "mc/mc.h"
 
-XBT_LOG_NEW_DEFAULT_CATEGORY(snapshot_comparison_liveness3, "Debug information for snasphot comparison liveness1 test example");
+XBT_LOG_NEW_DEFAULT_CATEGORY(snapshot_comparison_liveness3, "Debug information for snasphot comparison liveness3 test example");
 
 int test(int argc, char **argv);
 
@@ -25,6 +25,8 @@ int test(int argc, char **argv){
 
   MSG_process_sleep(1);
 
+  XBT_INFO("First snapshot");
+
   toto = xbt_malloc(5);
   XBT_INFO("Toto allocated");
   xbt_free(toto);
@@ -35,6 +37,8 @@ int test(int argc, char **argv){
 
   void *snap2 = MC_snapshot();
 
+  XBT_INFO("Second snapshot");
+
   MC_ignore_stack("snap2", "test");   
   MC_ignore_stack("snap1", "test");