Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Session instance removed from Checker class
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 11 Dec 2020 11:17:06 +0000 (12:17 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Fri, 11 Dec 2020 11:17:06 +0000 (12:17 +0100)
commit25e65dd5471e60349169b05473340b8c1042f57a
tree3ed530769a44e14460ea5852e3c3bca8b3e28c83
parentdba6fd1fd37f0d3757e26933711efc3845230d6e
Session instance removed from Checker class
src/mc/checker/Checker.cpp
src/mc/checker/Checker.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp