Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: rename some methods to make their intent clear
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 11 Sep 2019 23:31:35 +0000 (01:31 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 13 Sep 2019 09:22:05 +0000 (11:22 +0200)
commit89ff538b348fa0df7011e48c3d9318c58f046b9d
tree527c8aacb47e9d4072f9db1a72f41148f4a2c6e3
parentc59e99d6a2401b75660351d9e6eba70421ec4c83
MC: rename some methods to make their intent clear
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp