/* Save data and bss that */
snapshot->data_size = MC_save_dataseg(&(snapshot->data));
}
void MC_restore_snapshot(mc_snapshot_t snapshot)
/* Save data and bss that */
snapshot->data_size = MC_save_dataseg(&(snapshot->data));
}
void MC_restore_snapshot(mc_snapshot_t snapshot)
}
void MC_free_snapshot(mc_snapshot_t snapshot)
{
xbt_free(snapshot->heap);
xbt_free(snapshot->data);
}
void MC_free_snapshot(mc_snapshot_t snapshot)
{
xbt_free(snapshot->heap);
xbt_free(snapshot->data);