Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Make Checker implementation private
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 15:47:17 +0000 (17:47 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 15:47:23 +0000 (17:47 +0200)
commit08835cc95982fa241576ee7b09006d5f97914584
treea7373cddcf95ec20310888f9cada0b56fa9b211f
parentf0e56bf82001574ff1b593f79b84c6330b751261
[mc] Make Checker implementation private

* XBT_PRIVATE symbols;

* header files only used inside the .cpp file.

Fixes a symbol visbility mismatch warning.
src/mc/Checker.hpp
src/mc/CommunicationDeterminismChecker.cpp
src/mc/CommunicationDeterminismChecker.hpp
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp
src/mc/VisitedState.hpp
src/mc/simgrid_mc.cpp