Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Give an explicit name to the session singleton
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 02:14:35 +0000 (03:14 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 02:16:06 +0000 (03:16 +0100)
commit8d7c1a3029ff92f8f7d59570856f115b049217a0
tree167360e266ce66a02f38166be46efe6269c06aeb
parent732fb7b7871f8a5e0f3994c068bb613065d7cd63
Give an explicit name to the session singleton
src/mc/ModelChecker.cpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/api.cpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_global.cpp