-static inline simgrid::mc::CallType MC_get_call_type(const s_smx_simcall* req)
-{
- using simgrid::mc::CallType;
- using simgrid::simix::Simcall;
- switch (req->call_) {
- case Simcall::COMM_ISEND:
- return CallType::SEND;
- case Simcall::COMM_IRECV:
- return CallType::RECV;
- case Simcall::COMM_WAIT:
- return CallType::WAIT;
- case Simcall::COMM_WAITANY:
- return CallType::WAITANY;
- default:
- return CallType::NONE;
- }
-}
-