std::shared_ptr<simgrid::mc::Snapshot> snapshot = std::make_shared<simgrid::mc::Snapshot>(mc_process, num_state);
for (auto const& p : mc_model_checker->process().actors())
- snapshot->enabled_processes.insert(p.copy.getBuffer()->pid_);
+ snapshot->enabled_processes.insert(p.copy.getBuffer()->get_pid());
snapshot_handle_ignore(snapshot.get());