COMM_TEST,
COMM_TESTANY,
MUTEX_LOCK,
- MUTEX_TRYLOCK,
- MUTEX_UNLOCK,
COND_WAIT,
COND_WAIT_TIMEOUT,
SEM_ACQUIRE,
SEM_ACQUIRE_TIMEOUT,
- MC_RANDOM,
RUN_KERNEL,
RUN_BLOCKING,
};
-constexpr int NUM_SIMCALLS = 20;
+constexpr int NUM_SIMCALLS = 17;
} // namespace simix
} // namespace simgrid