From 5d7902c9afa23fa18b0612a73aa0bb47aa3f2804 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Tue, 22 Mar 2022 21:53:22 +0100 Subject: [PATCH] Comm transitions are INDEP with non-comm transitions --- src/mc/transition/TransitionComm.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) 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 -- 2.20.1