}
-mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){
- return MC_take_snapshot();
-}
-
mc_snapshot_t MC_take_snapshot()
{
int raw_mem = (mmalloc_get_current_heap() == raw_heap);
snapshot_stack_free((mc_snapshot_stack_t) * (void **) s);
}
+mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){
+ return MC_take_snapshot();
+}
+
void *MC_snapshot(void){
return simcall_mc_snapshot();