#include "simgrid/host.h"
#include "simgrid/modelchecker.h"
#include "smpi_comm.hpp"
-#include "smpi_process.hpp"
#include "src/internal_config.h"
#include "src/mc/mc_replay.hpp"
#include "src/simix/ActorImpl.hpp"
#include "xbt/config.hpp"
#include "getopt.h"
+#include "src/smpi/include/smpi_actor.hpp"
#include <unordered_map>
#ifndef WIN32
for (auto const& pair : counter_data) {
simgrid::instr::VariableType* variable = static_cast<simgrid::instr::VariableType*>(container->type_->by_name(pair.first));
- variable->set_event(surf_get_clock(), pair.second);
+ variable->set_event(SIMIX_get_clock(), pair.second);
}
}
#endif