Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make Liveness and CommDet more similar to Safety
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 01:34:34 +0000 (02:34 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit0ad6bd059ce73f4fcad69113644b928daa520af7
tree5348b212051867f6102eac6ac6f88a386f0c9a18
parenta2db5f47f61b8112e5a39fc03ac60a4b354da599
Make Liveness and CommDet more similar to Safety
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp