Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Unify the way we count expended states between checkers
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 11:10:06 +0000 (12:10 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit7f0516d66943c1fa8f64946cf159eb37bc7ef41f
treeefc699d05e6765ee70b9986c808687a53b93d615
parentb33e05ad86fc393cecf23f75bbc70ab4e313e0a7
Unify the way we count expended states between checkers
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
src/mc/mc_state.cpp
src/mc/mc_state.hpp