#include "mc/mc.h"
#include "src/kernel/activity/CommImpl.hpp"
#include "src/kernel/activity/MutexImpl.hpp"
-#include "src/mc/checker/SimcallObserver.hpp"
+#include "src/kernel/actor/SimcallObserver.hpp"
#include "src/mc/mc_config.hpp"
#include "src/mc/mc_replay.hpp"
#include "src/simix/smx_private.hpp"
#if SIMGRID_HAVE_MC
#include "src/mc/ModelChecker.hpp"
#include "src/mc/Session.hpp"
-#include "src/mc/remote/RemoteSimulation.hpp"
+#include "src/mc/remote/RemoteProcess.hpp"
using simgrid::mc::remote;
#endif
static simgrid::xbt::random::XbtRandom prng;
return prng.uniform_int(min, max);
}
- simgrid::mc::RandomSimcall observer{SIMIX_process_self(), min, max};
+ simgrid::kernel::actor::RandomSimcall observer{SIMIX_process_self(), min, max};
return simgrid::kernel::actor::simcall([&observer] { return observer.get_value(); }, &observer);
}
namespace simgrid {
namespace mc {
-void wait_for_requests()
+void execute_actors()
{
#if SIMGRID_HAVE_MC
xbt_assert(mc_model_checker == nullptr, "This must be called from the client");
#if SIMGRID_HAVE_MC
// If in the MCer, ask the client app since it has all the data
if (mc_model_checker != nullptr) {
- return simgrid::mc::session->actor_is_enabled(actor->get_pid());
+ return simgrid::mc::session_singleton->actor_is_enabled(actor->get_pid());
}
#endif
// #