Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state()
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 08:56:18 +0000 (09:56 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 08:56:18 +0000 (09:56 +0100)
commit3a4ce12090813eec44fb68c53ff18ef41d2ad571
tree18984ed0d84134695f207a9a471f8f44812ed5c6
parent1d97ca6b297d58d0ce7ac28bb8248f6a06d0d744
A little bit clean up, mc_api::s_log_state() renamed to mc_api::log_state()
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp