*/
enum class Simcall {
NONE,
- EXECUTION_WAITANY_FOR,
COMM_RECV,
COMM_IRECV,
COMM_SEND,
COMM_TESTANY,
COMM_WAITANY,
COMM_WAIT,
- SEM_ACQUIRE_TIMEOUT,
RUN_KERNEL,
RUN_BLOCKING,
};
-constexpr int NUM_SIMCALLS = 13;
+constexpr int NUM_SIMCALLS = 11;
} // namespace simix
} // namespace simgrid