Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move initial state into Session
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 08:34:17 +0000 (10:34 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 09:02:24 +0000 (11:02 +0200)
commit0a82e90d4cfdd7e27e1b946d22aff74a5abdda99
tree609543c98ab96a4dabd31469d99cfb7400c3e350
parent0cfb40d124549f4dde6f00095847de0d04828adf
[mc] Move initial state into Session

We can get rid of s_mc_global_t in SafetyChecker.
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/Session.cpp
src/mc/Session.hpp
src/mc/mc_global.cpp
src/mc/mc_snapshot.h