[mc] Move the stack as field of SafetyChecker and CommDetChecker

[simgrid.git] / src / simix / popping_enum.h

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 9c0b346..877f0a3 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -69,18 +69,15 @@ typedef enum {
   SIMCALL_COMM_GET_SRC_PROC,
   SIMCALL_COMM_GET_DST_PROC,
   SIMCALL_MUTEX_INIT,
-  SIMCALL_MUTEX_DESTROY,
   SIMCALL_MUTEX_LOCK,
   SIMCALL_MUTEX_TRYLOCK,
   SIMCALL_MUTEX_UNLOCK,
   SIMCALL_COND_INIT,
-  SIMCALL_COND_DESTROY,
   SIMCALL_COND_SIGNAL,
   SIMCALL_COND_WAIT,
   SIMCALL_COND_WAIT_TIMEOUT,
   SIMCALL_COND_BROADCAST,
   SIMCALL_SEM_INIT,
-  SIMCALL_SEM_DESTROY,
   SIMCALL_SEM_RELEASE,
   SIMCALL_SEM_WOULD_BLOCK,
   SIMCALL_SEM_ACQUIRE,
@@ -103,14 +100,5 @@ typedef enum {
   SIMCALL_ASR_GET_PROPERTIES,
   SIMCALL_MC_RANDOM,
   SIMCALL_SET_CATEGORY,
-  SIMCALL_RUN_KERNEL,
-#ifdef HAVE_LATENCY_BOUND_TRACKING
-  SIMCALL_COMM_IS_LATENCY_BOUNDED,
-#endif
-
-#ifdef HAVE_MC
-  SIMCALL_MC_SNAPSHOT,
-  SIMCALL_MC_COMPARE_SNAPSHOTS,
-#endif
-  NUM_SIMCALLS
+  SIMCALL_RUN_KERNEL,  NUM_SIMCALLS
 } e_smx_simcall_t;