mc_snapshot_t snapshot2 = xbt_new0(s_mc_snapshot_t, 1);
MC_take_snapshot_liveness(snapshot2);
- MC_UNSET_RAW_MEM;
-
int res = snapshot_compare(snapshot1, snapshot2);
xbt_assert(res == 0);
+ MC_UNSET_RAW_MEM;
+
fprintf(stderr, "\n**************** END TEST 1 ****************\n");
MC_SET_RAW_MEM;
MC_UNSET_RAW_MEM;
- char* t = strdup("toto");
+ char* t = malloc(5);
MC_SET_RAW_MEM;
MC_UNSET_RAW_MEM;
- char *t = strdup("toto");;
+ char *t = malloc(5);
free(t);
MC_SET_RAW_MEM;
fprintf(stderr, "\n**************** TEST 4 ****************\n\n");
- char *t = strdup("toto");
+ char *t = malloc(5);
MC_SET_RAW_MEM;
MC_UNSET_RAW_MEM;
test1();
+
+ MC_restore_snapshot(initial);
+ MC_UNSET_RAW_MEM;
test2();
MC_UNSET_RAW_MEM;
test6();
+
+ MC_restore_snapshot(initial);
+ MC_UNSET_RAW_MEM;
}