3 void MC_take_snapshot(mc_snapshot_t snapshot)
6 snapshot->heap_size = MC_save_heap(&(snapshot->heap));
8 /* Save data and bss that */
9 snapshot->data_size = MC_save_dataseg(&(snapshot->data));
12 void MC_restore_snapshot(mc_snapshot_t snapshot)
14 MC_restore_heap(snapshot->heap, snapshot->heap_size);
15 MC_restore_dataseg(snapshot->data, snapshot->data_size);
18 void MC_free_snapshot(mc_snapshot_t snapshot)
20 xbt_free(snapshot->heap);
21 xbt_free(snapshot->data);