Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Tell the MC transition about the semaphore capacity and use it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:00:42 +0000 (23:00 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:02:07 +0000 (23:02 +0100)
commit49c6310e26e0a6c7d9a0d059340913d6d3c0a880
tree620f2c34296b10afffe4e52087d2e98d72cf0da8
parent63f8062313404439d1fc84eaa80c182888825a0e
Tell the MC transition about the semaphore capacity and use it

This info is mandatory to compute the reversible race of SemWait in ODPOR
src/kernel/actor/SynchroObserver.cpp
src/mc/explo/odpor/ReversibleRaceCalculator.cpp
src/mc/transition/TransitionSynchro.cpp
src/mc/transition/TransitionSynchro.hpp