Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
The checker has the session and don't need the API to interact with it
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 01:48:59 +0000 (02:48 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 01:48:59 +0000 (02:48 +0100)
commit3ed8cddf1b2849cb3db5139684348bd64d47b09e
tree38e7c106bbcaf70783b18a07882efb0ea5aff1d6
parentb92f7b45359b83234f427523a05548db40164c4f
The checker has the session and don't need the API to interact with it
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/api.cpp
src/mc/api.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp