Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move the selection of the next transition to execute to mc::State
[simgrid.git] / src / mc / mc_base.cpp
index 84c8591..32139fc 100644 (file)
@@ -111,10 +111,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