Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Delegate some part of Session::logState() to Checker::logState()
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 10:45:26 +0000 (12:45 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 10:52:28 +0000 (12:52 +0200)
commit39657d7de68ca06c1c3064d52c025aacdd8a9add
treee7938da58f718b56a44d00638b8f36e51c1df066
parent37628abb1a6de84ea9ddee484632b6a9d6245c96
[mc] Delegate some part of Session::logState() to Checker::logState()

This separates the Checker-specific code from the generic/shared code.
The session should not need to know about every existing Checker.
examples/smpi/mc/only_send_deterministic.tesh
src/mc/Checker.cpp
src/mc/Checker.hpp
src/mc/CommunicationDeterminismChecker.cpp
src/mc/CommunicationDeterminismChecker.hpp
src/mc/LivenessChecker.cpp
src/mc/LivenessChecker.hpp
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp
src/mc/Session.cpp