Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move the stack as field of SafetyChecker and CommDetChecker
[simgrid.git] / src / simix / popping_enum.h
index a523f45..877f0a3 100644 (file)
@@ -100,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;