Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Mark transitions run by the same actor as dependent
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 30 May 2023 11:46:37 +0000 (13:46 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 30 May 2023 11:46:37 +0000 (13:46 +0200)
commit46ba75719670be2ba9d68a6338bb6a91930d1838
treecdaeca719d2c848ba18d08dccbeb2f9ea2a60826
parent983ff2d3ba0217acac8e5c963f6669be3b4f9e02
Mark transitions run by the same actor as dependent

This commit adds a missing component to a number of
transition classes. Transitions that are executed by
the same actor are inherently dependent; but only the
RandomTransition actually checked for this case! This
caused ODPOR to search traces incorrectly under the
assumption that transitions which were actually
dependent were independent
src/mc/transition/TransitionActorJoin.cpp
src/mc/transition/TransitionAny.cpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionObjectAccess.cpp
src/mc/transition/TransitionSynchro.cpp