-/*********************************************
- * File Generated by src/simix/simcalls.py *
- * from src/simix/simcalls.in *
- * Do not modify this file, add new simcalls *
- * in src/simix/simcalls.in *
- *********************************************/
+/**********************************************************************/
+/* File Generated by src/simix/simcalls.py from src/simix/simcalls.in */
+/* */
+/* DO NOT EVER CHANGE THIS FILE */
+/* */
+/* change simcalls specification in src/simix/simcalls.in */
+/**********************************************************************/
-SIMCALL_HOST_GET_BY_NAME,
+
+/**
+ * @brief All possible simcalls.
+ */
+typedef enum {
+SIMCALL_NONE,
+ SIMCALL_HOST_GET_BY_NAME,
SIMCALL_HOST_GET_NAME,
SIMCALL_HOST_ON,
SIMCALL_HOST_OFF,
SIMCALL_MC_COMPARE_SNAPSHOTS,
SIMCALL_MC_RANDOM,
#endif
+
+SIMCALL_NEW_API_INIT,
+NUM_SIMCALLS
+} e_smx_simcall_t;
+
\ No newline at end of file