Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix the liveness tests when the reforks are compiled in but not activated
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Mar 2023 20:06:51 +0000 (21:06 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 21 Mar 2023 20:06:51 +0000 (21:06 +0100)
commit3427c060e899b47c103c6981aa69afbb22378b24
tree564547f67214eb0f2110ab401565751799a941c0
parentdf051e680b8c79ff0198e6ec9d3888e96e4676ec
Fix the liveness tests when the reforks are compiled in but not activated
src/mc/remote/AppSide.cpp
src/mc/remote/AppSide.hpp
src/mc/remote/CheckerSide.cpp