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)
This separates the Checker-specific code from the generic/shared code.
The session should not need to know about every existing Checker.


No differences found