model-checker : new tesh for snapshot comparison tests

[simgrid.git] / 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 27703a7..8c3efd3 100644 (file)
--- 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");