Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move mc_global stuff into LivenessChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 09:09:12 +0000 (11:09 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 09:14:39 +0000 (11:14 +0200)
commite1459ae1f3ca27cf74f3592980445151049defd1
treef11351aeecd8d80b920c9228ac419be9ec4bad02
parent0a82e90d4cfdd7e27e1b946d22aff74a5abdda99
[mc] Move mc_global stuff into LivenessChecker

This gets rid of initial_global_state in LivenessChecker.
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp
src/mc/mc_snapshot.h