#include "src/mc/inspect/mc_unw.hpp"
#include "src/mc/mc_config.hpp"
#include "src/mc/mc_private.hpp"
-#include "src/mc/mc_safety.hpp"
#include "src/mc/remote/AppSide.hpp"
#include "src/mc/sosp/Snapshot.hpp"
double MC_process_clock_get(const simgrid::kernel::actor::ActorImpl* process)
{
- if (simgrid::mc::processes_time.empty())
- return 0;
if (process == nullptr)
return -1;
- return simgrid::mc::processes_time.at(process->get_pid());
+ auto pid = static_cast<size_t>(process->get_pid());
+ return pid < simgrid::mc::processes_time.size() ? simgrid::mc::processes_time[pid] : 0.0;
}
void MC_process_clock_add(const simgrid::kernel::actor::ActorImpl* process, double amount)