#include "smpi_comm.hpp"
#include "smpi_info.hpp"
#include "src/mc/mc_replay.hpp"
+#include "xbt/str.h"
#if HAVE_PAPI
#include "papi.h"
state_ = SmpiProcessState::INITIALIZED;
}
+/** @brief Mark a process as finalizing (=MPI_Finalize called) */
+void ActorExt::mark_as_finalizing()
+{
+ if (state_ != SmpiProcessState::FINALIZED)
+ state_ = SmpiProcessState::FINALIZING;
+}
+
+/** @brief Check if a process is finalizing */
+int ActorExt::finalizing() const
+{
+ return (state_ == SmpiProcessState::FINALIZING);
+}
+
void ActorExt::set_replaying(bool value)
{
if (state_ != SmpiProcessState::FINALIZED)