model-checker : new tesh for snapshot comparison tests

[simgrid.git] / 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 9c38d30..e87c65c 100644 (file)
--- 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");