Free xbt_automaton on Api::s_close.

[simgrid.git] / src / mc / mc_base.cpp

diff --git a/src/mc/mc_base.cpp b/src/mc/mc_base.cpp
index 84c85918ae44b76ef7791ad1fb91ab69b7c201f9..9ecb0de56d49b0796ccc59997f236409b6fb4453 100644 (file)
--- a/src/mc/mc_base.cpp
+++ b/src/mc/mc_base.cpp
@@ -58,8 +58,9 @@ void execute_actors()
   engine->reset_actor_dynar();
   for (auto const& kv : engine->get_actor_list()) {
     auto actor = kv.second;
-    if (actor->simcall_.observer_ != nullptr)
-      actor->simcall_.mc_max_consider_ = actor->simcall_.observer_->get_max_consider();
+    // Only visible requests remain at this point, and they all have an observer
+    actor->simcall_.mc_max_consider_ = actor->simcall_.observer_->get_max_consider();
+
     engine->add_actor_to_dynar(actor);
   }
 #endif
@@ -111,10 +112,9 @@ bool request_is_visible(const s_smx_simcall* req)
 #endif
   if (req->observer_ != nullptr)
     return req->observer_->is_visible();
-
-  using simix::Simcall;
-  return req->call_ == Simcall::COMM_ISEND || req->call_ == Simcall::COMM_IRECV;
+  else
+    return false;
 }
 
-}
-}
+} // namespace mc
+} // namespace simgrid