- add_region(n, snapshot, simgrid::mc::RegionType::Heap, NULL,
+ add_region(n, snapshot, simgrid::mc::RegionType::Heap, nullptr,
new_var.address = current_variable.address;
} else if (!current_variable.location_list.empty()) {
simgrid::dwarf::Location location =
new_var.address = current_variable.address;
} else if (!current_variable.location_list.empty()) {
simgrid::dwarf::Location location =
- smx_process_t process;
- MC_EACH_SIMIX_PROCESS(process,
- snapshot->enabled_processes.insert(process->pid));
+ for (auto& p : mc_model_checker->process().simix_processes())
+ snapshot->enabled_processes.insert(p.copy.pid);