Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Pass the depends() from the observer to the mc::Transition for CommWait, Send and...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 09:24:40 +0000 (10:24 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 11:28:18 +0000 (12:28 +0100)
commitcea04af9af482c60d0b42fbc58bc3478a7e2c347
tree6bc8d6bb6647ba2a04a16741ec8549cc86c31c1d
parent1d1294418fcdb34a66a0569033b173274db14fe8
Pass the depends() from the observer to the mc::Transition for CommWait, Send and Recv
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/Transition.cpp
src/mc/Transition.hpp