#include "simgrid/simix/blocking_simcall.hpp"
#include "smx_private.hpp"
#include "src/kernel/activity/CommImpl.hpp"
+#include "src/kernel/activity/MutexImpl.hpp"
#include "src/mc/mc_forward.hpp"
#include "src/mc/mc_replay.hpp"
#include "src/plugins/vm/VirtualMachineImpl.hpp"
return (e_smx_state_t) simcall_BODY_execution_wait(execution);
}
+e_smx_state_t simcall_execution_test(smx_activity_t execution)
+{
+ return (e_smx_state_t)simcall_BODY_execution_test(execution);
+}
+
/**
* \ingroup simix_process_management
* \brief Kills all SIMIX processes.
fprintf(stderr,"You must run MSG_init before using MSG\n"); // We can't use xbt_die since we may get there before the initialization
xbt_abort();
}
- return simgrid::simix::kernelImmediate([] { return new simgrid::simix::MutexImpl(); });
+ return simgrid::simix::kernelImmediate([] { return new simgrid::kernel::activity::MutexImpl(); });
}
/**