/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
-/* Copyright (c) 2014-2021. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2014-2022. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
*/
enum class Simcall {
NONE,
- EXECUTION_WAITANY_FOR,
COMM_RECV,
COMM_IRECV,
COMM_SEND,
COMM_ISEND,
- COMM_TEST,
- COMM_TESTANY,
COMM_WAITANY,
COMM_WAIT,
- COND_WAIT,
- COND_WAIT_TIMEOUT,
- SEM_ACQUIRE,
- SEM_ACQUIRE_TIMEOUT,
RUN_KERNEL,
RUN_BLOCKING,
};
-constexpr int NUM_SIMCALLS = 16;
+constexpr int NUM_SIMCALLS = 9;
} // namespace simix
} // namespace simgrid