From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 6 Nov 2023 16:59:26 +0000 (+0100)
Subject: Actions executed by the same actor are always dependent, damnit
X-Git-Tag: v3.35~89^2~2
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/49d8612567f936d626b6933887cffbea35254b3b

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

diff --git a/src/mc/transition/TransitionSynchro.cpp b/src/mc/transition/TransitionSynchro.cpp
index df630eec34..5e7ded2aed 100644
--- a/src/mc/transition/TransitionSynchro.cpp
+++ b/src/mc/transition/TransitionSynchro.cpp
@@ -125,6 +125,10 @@ bool SemaphoreTransition::depends(const Transition* o) const
   if (o->type_ < type_)
     return o->depends(this);
 
+  // Actions executed by the same actor are always dependent
+  if (o->aid_ == aid_)
+    return true;
+
   if (const auto* other = dynamic_cast<const SemaphoreTransition*>(o)) {
     if (sem_ != other->sem_)
       return false;