#include "src/kernel/activity/SynchroSleep.hpp"
#include "src/kernel/activity/SynchroExec.hpp"
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
#include "src/mc/mc_request.h"
#include "src/mc/Process.hpp"
#include "src/mc/ModelChecker.hpp"
int MC_random(int min, int max)
{
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
xbt_assert(mc_model_checker == nullptr);
/* TODO, if the MC is disabled we do not really need to make a simcall for
* this :) */
void wait_for_requests(void)
{
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
xbt_assert(mc_model_checker == nullptr);
#endif
SIMIX_simcall_handle(req, 0);
}
}
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
xbt_dynar_reset(simix_global->actors_vector);
for (std::pair<aid_t, smx_actor_t> kv : simix_global->process_list) {
xbt_dynar_push_as(simix_global->actors_vector, smx_actor_t, kv.second);
simgrid::kernel::activity::Comm *act =
static_cast<simgrid::kernel::activity::Comm*>(simcall_comm_wait__get__comm(req));
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
// Fetch from MCed memory:
// HACK, type puning
if (mc_model_checker != nullptr) {
simgrid::kernel::activity::Comm *act =
static_cast<simgrid::kernel::activity::Comm*>(simcall_comm_wait__get__comm(req));
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
s_xbt_dynar_t comms_buffer;
size_t buffer_size = 0;
if (mc_model_checker != nullptr) {
#endif
for (index = 0; index < comms->used; ++index) {
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
// Fetch act from MCed memory:
// HACK, type puning
simgrid::mc::Remote<simgrid::kernel::activity::Comm> temp_comm;
case SIMCALL_MUTEX_LOCK: {
smx_mutex_t mutex = simcall_mutex_lock__get__mutex(req);
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
simgrid::mc::Remote<simgrid::simix::Mutex> temp_mutex;
if (mc_model_checker != nullptr) {
mc_model_checker->process().read(temp_mutex.getBuffer(), remote(mutex));
if(mutex->owner == nullptr)
return true;
-#if HAVE_MC
+#if SIMGRID_HAVE_MC
else if (mc_model_checker != nullptr) {
simgrid::mc::Process& modelchecked = mc_model_checker->process();
// TODO, *(mutex->owner) :/