Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: Trade less use of executed_req for more network messages
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 6 Feb 2022 23:51:27 +0000 (00:51 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit9303a93b4bbd12f4d20f674577b2e10c3eb21eea
treefd8928763e90b0759085069c4c791c48cd61f6b3
parent8ec46a459ce8b740aeca5a121fe9e84a25cabf99
MC: Trade less use of executed_req for more network messages

We go through the network to find the string and dot representations
of transitions even when there is no observer
src/kernel/actor/ActorImpl.hpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/remote/AppSide.cpp