}
+mc_snapshot_t SIMIX_pre_mc_snapshot(smx_simcall_t simcall){
+ return MC_take_snapshot();
+}
+
mc_snapshot_t MC_take_snapshot()
{
}
}
- if(_surf_mc_visited > 0 || _surf_mc_property_file)
+ if(_surf_mc_visited > 0 || strcmp(_surf_mc_property_file,""))
snapshot->stacks = take_snapshot_stacks(heap);
free_memory_map(maps);