Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove some globals from is_visted_state()
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 11:29:49 +0000 (12:29 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 11:46:47 +0000 (12:46 +0100)
commit082cedd275c8f6dc3478097595380d3e496c74f6
treee30d8d9802413e64ccc314329f615baa5325d325
parentff808eaaaeeb05dcbb4a26b7997c975db605b875
[mc] Remove some globals from is_visted_state()
src/include/mc/mc.h
src/mc/SafetyChecker.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_config.cpp
src/mc/mc_safety.h
src/mc/mc_visited.cpp