else if (type == simgrid::mc::RegionType::Heap)
xbt_assert(!object_info, "Unexpected object info for heap region.");
- const bool privatization_aware = MC_object_info_is_privatized(object_info);
+ const bool privatization_aware = object_info && object_info->privatized();
simgrid::mc::RegionSnapshot region;
if (privatization_aware && MC_smpi_process_count())
snapshot->stacks =
MC_take_snapshot_stacks(&snapshot);
if (_sg_mc_hash && !snapshot->stacks.empty()) {
- snapshot->hash = mc_hash_processes_state(num_state, snapshot->stacks);
+ snapshot->hash = simgrid::mc::hash(*snapshot);
} else {
snapshot->hash = 0;
}