From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Tue, 22 Mar 2022 20:53:22 +0000 (+0100)
Subject: Comm transitions are INDEP with non-comm transitions
X-Git-Tag: v3.32~408
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5d7902c9afa23fa18b0612a73aa0bb47aa3f2804

Comm transitions are INDEP with non-comm transitions
---

diff --git a/src/mc/transition/TransitionComm.cpp b/src/mc/transition/TransitionComm.cpp
index 5907f7f95b..af3ef13bea 100644
--- a/src/mc/transition/TransitionComm.cpp
+++ b/src/mc/transition/TransitionComm.cpp
@@ -58,7 +58,7 @@ bool CommWaitTransition::depends(const Transition* other) const
       return false;
   }
 
-  return true;
+  return false; // Comm transitions are INDEP with non-comm transitions
 }
 CommTestTransition::CommTestTransition(aid_t issuer, int times_considered, std::stringstream& stream)
     : Transition(Type::COMM_TEST, issuer, times_considered)
@@ -97,7 +97,7 @@ bool CommTestTransition::depends(const Transition* other) const
     return false;
   }
 
-  return true;
+  return false; // Comm transitions are INDEP with non-comm transitions
 }
 
 CommRecvTransition::CommRecvTransition(aid_t issuer, int times_considered, std::stringstream& stream)
@@ -146,7 +146,7 @@ bool CommRecvTransition::depends(const Transition* other) const
       return false;
   }
 
-  return true;
+  return false; // Comm transitions are INDEP with non-comm transitions
 }
 
 CommSendTransition::CommSendTransition(aid_t issuer, int times_considered, std::stringstream& stream)
@@ -197,7 +197,7 @@ bool CommSendTransition::depends(const Transition* other) const
       return false;
   }
 
-  return true;
+  return false; // Comm transitions are INDEP with non-comm transitions
 }
 
 } // namespace mc