Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
rename a method
authorMartin Quinson <martin.quinson@loria.fr>
Fri, 2 Jun 2017 14:51:49 +0000 (16:51 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Fri, 2 Jun 2017 14:51:49 +0000 (16:51 +0200)
commit57970bcf4905da230f47be5c0f9a37128cca29f4
treebc5a1a6aea8d1fb2169a4b23a7da83d25267c9e3
parent5e9f3b14a72f7a2e3868cfec1e0d210261109937
rename a method
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_state.h