Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'operation-plugin' into 'master'
[simgrid.git] / src / mc / remote / AppSide.cpp
index 47a448214b680636196cdef00f85789249c48d8e..450546c02eb629007130d3d14a9ec96aef5dc63d 100644 (file)
@@ -247,8 +247,6 @@ void AppSide::handle_actors_status() const
   // Serialize each transition to describe what each actor is doing
   XBT_DEBUG("Deliver ACTOR_TRANSITION_PROBE payload");
   for (const auto& actor_status : status) {
-    if (not actor_status.enabled)
-      continue;
 
     const auto& actor        = actor_list.at(actor_status.aid);
     const int max_considered = actor_status.max_considered;