X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/da97c5bf0aa171c1eb90e3bd2cc1d8da0fbbfbf5..e4ecb51dcdf597fb02340d7855dafd0da9bd9018:/src/mc/transition/TransitionActorJoin.cpp diff --git a/src/mc/transition/TransitionActorJoin.cpp b/src/mc/transition/TransitionActorJoin.cpp index 41eb681eee..463bfcbc6a 100644 --- a/src/mc/transition/TransitionActorJoin.cpp +++ b/src/mc/transition/TransitionActorJoin.cpp @@ -33,6 +33,10 @@ bool ActorJoinTransition::depends(const Transition* other) const return true; } + // Actions executed by the same actor are always dependent + if (other->aid_ == aid_) + return true; + // Otherwise, joining is indep with any other transitions: // - It is only enabled once the target ends, and after this point it's enabled no matter what // - Other joins don't affect it, and it does not impact on the enabledness of any other transition