Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove mc_stats and move remaining stats in ModelChecker for now
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 13:10:48 +0000 (15:10 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 14:32:34 +0000 (16:32 +0200)
commitcf64c8ceb2027a65be8789e5fb36902e9274be4c
treee1d1ccd48f22b73ed9ef2cea7a88fa6d7e5e287d
parent3c9ab54823cd43e839a626e3e88e2ec48663956a
[mc] Remove mc_stats and move remaining stats in ModelChecker for now
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
src/mc/SafetyChecker.cpp
src/mc/mc_global.cpp
src/mc/mc_private.h