Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Get rid of the global simgrid::mc::visited_states, use a class instead
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 14:42:01 +0000 (16:42 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 14:42:01 +0000 (16:42 +0200)
commitf7a4833f1a704ef0be1ef00f9de84ad8d5975426
treecb8be2b5e2bb62de98f66e57816e94d2eedb2c59
parent2659419ab673729eb0af805fff60051764b30b04
[mc] Get rid of the global simgrid::mc::visited_states, use a class instead
src/mc/CommunicationDeterminismChecker.cpp
src/mc/CommunicationDeterminismChecker.hpp
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp