MC_SET_STD_HEAP;
- if (_sg_mc_visited > 0
- || (_sg_mc_property_file && _sg_mc_property_file[0] != '\0')) {
+ if (_sg_mc_visited > 0 || _sg_mc_liveness) {
/* Ignore some variables from xbt/ex.h used by exception e for stacks comparison */
MC_ignore_local_variable("e", "*");
MC_ignore_local_variable("__ex_cleanup", "*");
MC_ignore_heap(mc_time, simix_process_maxpid * sizeof(double));
- /*smx_process_t process;
+ smx_process_t process;
xbt_swag_foreach(process, simix_global->process_list) {
MC_ignore_heap(&(process->process_hookup),
sizeof(process->process_hookup));
- }*/
+ }
}
if (raw_mem_set)