Add events with implicit bottom event

[simgrid.git] / src / mc / transition / TransitionComm.cpp

diff --git a/src/mc/transition/TransitionComm.cpp b/src/mc/transition/TransitionComm.cpp
index 2e71920..c9fe6bc 100644 (file)
--- a/src/mc/transition/TransitionComm.cpp
+++ b/src/mc/transition/TransitionComm.cpp
@@ -185,7 +185,7 @@ bool CommRecvTransition::depends(const Transition* other) const
 
     // If the wait is waiting on a paired comm already, we're independent!
     // If we happen to make up that pair, then we're dependent...
-    if (wait->comm_ != comm_)
+    if ((aid_ != wait->aid_) && wait->comm_ != comm_)
       return false;
 
     return true; // DEP with other wait transitions
@@ -261,7 +261,7 @@ bool CommSendTransition::depends(const Transition* other) const
 
     // If the wait is waiting on a paired comm already, we're independent!
     // If we happen to make up that pair, then we're dependent...
-    if (wait->comm_ != comm_)
+    if ((aid_ != wait->aid_) && wait->comm_ != comm_)
       return false;
 
     return true; // DEP with other wait transitions