[mc] Add a message to explain no property violation is found

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

diff --git a/src/simix/popping_enum.h b/src/simix/popping_enum.h
index 46a84a1..0a74ebf 100644 (file)
--- a/src/simix/popping_enum.h
+++ b/src/simix/popping_enum.h
@@ -60,6 +60,7 @@ typedef enum {
   SIMCALL_VM_SHUTDOWN,
   SIMCALL_VM_SAVE,
   SIMCALL_VM_RESTORE,
+  SIMCALL_VM_MIGRATEFROM_RESUMETO,
   SIMCALL_PROCESS_CREATE,
   SIMCALL_PROCESS_KILL,
   SIMCALL_PROCESS_KILLALL,
@@ -136,18 +137,15 @@ typedef enum {
   SIMCALL_STORAGE_GET_PROPERTIES,
   SIMCALL_STORAGE_GET_CONTENT,
   SIMCALL_ASR_GET_PROPERTIES,
+  SIMCALL_MC_RANDOM,
+  SIMCALL_SET_CATEGORY,
 #ifdef HAVE_LATENCY_BOUND_TRACKING
   SIMCALL_COMM_IS_LATENCY_BOUNDED,
 #endif
 
-#ifdef HAVE_TRACING
-  SIMCALL_SET_CATEGORY,
-#endif
-
 #ifdef HAVE_MC
   SIMCALL_MC_SNAPSHOT,
   SIMCALL_MC_COMPARE_SNAPSHOTS,
-  SIMCALL_MC_RANDOM,
 #endif
   NUM_SIMCALLS
 } e_smx_simcall_t;