Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mc: change 3 static functions into private methods
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 27 May 2019 23:18:24 +0000 (01:18 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 28 May 2019 09:23:23 +0000 (11:23 +0200)
commit026942606020b281e430912ea77340fc2a13bf5f
tree332304a92fd7d82a25962fd43a45e911609a9250
parent12a5e400dc33bddd5a5799d5481f51cfa3c58b01
mc: change 3 static functions into private methods

And inline a fourth one
src/mc/Session.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/sosp/mc_snapshot.cpp
src/mc/sosp/mc_snapshot.hpp