From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 2 Nov 2023 00:22:37 +0000 (+0100)
Subject: Actions executed by the same actor are always dependent
X-Git-Tag: v3.35~89^2~22^2~11
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/87502be8d58fb054e092e3122b471f0bcf57c5ae

Actions executed by the same actor are always dependent
---

diff --git a/src/mc/transition/TransitionActor.cpp b/src/mc/transition/TransitionActor.cpp
index c0d04d1162..70608f14da 100644
--- a/src/mc/transition/TransitionActor.cpp
+++ b/src/mc/transition/TransitionActor.cpp
@@ -27,6 +27,10 @@ std::string ActorJoinTransition::to_string(bool verbose) const
 }
 bool ActorJoinTransition::depends(const Transition* other) const
 {
+  // Actions executed by the same actor are always dependent
+  if (other->aid_ == aid_)
+    return true;
+
   // Joining is dependent with any transition whose
   // actor is that of the `other` action. , Join i
   if (other->aid_ == target_) {
@@ -54,6 +58,10 @@ std::string ActorSleepTransition::to_string(bool verbose) const
 }
 bool ActorSleepTransition::depends(const Transition* other) const
 {
+  // Actions executed by the same actor are always dependent
+  if (other->aid_ == aid_)
+    return true;
+
   // Sleeping is indep with any other transitions: always enabled, not impacted by any transition
   return false;
 }