model-checker : update examples for test snapshot comparison

[simgrid.git] / examples / msg / mc / test / snapshot_comparison_liveness2.c

diff --git a/examples/msg/mc/test/snapshot_comparison_liveness2.c b/examples/msg/mc/test/snapshot_comparison_liveness2.c
index 969ee85..e81f3f8 100644 (file)
--- a/examples/msg/mc/test/snapshot_comparison_liveness2.c
+++ b/examples/msg/mc/test/snapshot_comparison_liveness2.c
@@ -24,7 +24,7 @@ int test(int argc, char **argv){
   MSG_process_sleep(1);
 
   char *toto = xbt_malloc(5);
-  XBT_INFO("Toto value %s", toto);
+  XBT_INFO("Toto allocated");
 
   void *snap2 = MC_snapshot();
 
@@ -36,6 +36,8 @@ int test(int argc, char **argv){
   
   XBT_INFO("**** End test ****");
 
+  xbt_free(toto);
+
   return 0;
 }