MC: checker kindly ask the app whether an actor is enabled instead of reading tons...

[simgrid.git] / src / mc / remote / mc_protocol.cpp

diff --git a/src/mc/remote/mc_protocol.cpp b/src/mc/remote/mc_protocol.cpp
index 5baf1d5..74bec4e 100644 (file)
--- a/src/mc/remote/mc_protocol.cpp
+++ b/src/mc/remote/mc_protocol.cpp
@@ -46,6 +46,12 @@ const char* MC_message_type_name(e_mc_message_type type)
       return "SIMCALL_HANDLE";
     case MC_MESSAGE_ASSERTION_FAILED:
       return "ASSERTION_FAILED";
+
+    case MC_MESSAGE_ACTOR_ENABLED:
+      return "ACTOR_ENABLED";
+    case MC_MESSAGE_ACTOR_ENABLED_REPLY:
+      return "ACTOR_ENABLED_REPLY";
+
     default:
       return "?";
   }