Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move mc_stats.expanded_states into the Checkers
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 12:55:19 +0000 (14:55 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 14:32:34 +0000 (16:32 +0200)
commit1930bee57857b8ccfbdaa457ea6748a49fc8d4f8
tree1ec7a87e445d3400e11efd286efac95d7b40cb69
parent4fee224a17662ec1877876618bb9e1318528a911
[mc] Move mc_stats.expanded_states into the Checkers
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/VisitedState.cpp
src/mc/VisitedState.hpp
src/mc/mc_private.h
src/mc/mc_state.cpp
src/mc/mc_state.h