break;
case simgrid::mc::StorageType::Privatized:
- for (const auto& p : region->privatized_data())
+ for (auto& p : region->privatized_data())
restore(&p);
break;
}
const size_t n = process->object_infos.size();
snapshot->snapshot_regions.resize(n + 1);
int i = 0;
- for (const auto const& object_info : process->object_infos)
+ for (auto const& object_info : process->object_infos)
add_region(i++, snapshot, simgrid::mc::RegionType::Data,
object_info.get(),
object_info->start_rw, object_info->start_rw,
smx_simcall_t MC_state_get_request(simgrid::mc::State* state)
{
- for (const auto& actor : mc_model_checker->process().actors()) {
+ for (auto& actor : mc_model_checker->process().actors()) {
smx_simcall_t res = MC_state_get_request_for_process(state, actor.copy.getBuffer());
if (res)
return res;