Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Give the comm to {Send,Recv}Transition, as CommDet needs it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 00:25:50 +0000 (01:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 00:25:57 +0000 (01:25 +0100)
commiteeaf1624487cd72c4e08db73e10b82e21fe083b3
tree10a5b77daee23009d1ba6fea8e5c2265139ecada
parent0f2817382dd405c5df1ab5552e0463a19ae39215
Give the comm to {Send,Recv}Transition, as CommDet needs it
src/kernel/activity/CommImpl.cpp
src/kernel/activity/CommImpl.hpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/api/TransitionComm.cpp
src/mc/api/TransitionComm.hpp