MC_UNSET_RAW_MEM;
- char* t = malloc(5);
-
+ char* t = malloc(50);
+ t = strdup("toto");
+
MC_SET_RAW_MEM;
/* Save second snapshot */
MC_UNSET_RAW_MEM;
char *t = malloc(5);
+ t = strdup("toto");
free(t);
MC_SET_RAW_MEM;
fprintf(stderr, "\n**************** TEST 4 ****************\n\n");
char *t = malloc(5);
+ t = strdup("toto");
MC_SET_RAW_MEM;
MC_take_snapshot_liveness(initial);
MC_UNSET_RAW_MEM;
+ /* Get .plt section (start and end addresses) for data libsimgrid comparison */
+ get_plt_section();
+
test1();
MC_restore_snapshot(initial);