Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
try to make SafetyChecker a bit easier to read
authorMartin Quinson <martin.quinson@loria.fr>
Sat, 21 Jan 2017 08:52:16 +0000 (09:52 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sat, 21 Jan 2017 09:13:01 +0000 (10:13 +0100)
commit76673935f66c0e1606bb1cdc05f37be3c0a135b1
tree2ec5c3db30fe4a8557e557559e2ff08ece5c2eeb
parent369500dc80d41e11840ca649b08b6b3c28e9ddbc
try to make SafetyChecker a bit easier to read

Mostly adding comments and renaming symbols, but not changing to the
logic (yet)
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_base.cpp
src/mc/mc_state.cpp
src/mc/mc_state.h