Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove MC_state_get_executed_request()
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 09:40:05 +0000 (11:40 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 10:43:23 +0000 (12:43 +0200)
commit2ec9b2255f0b467409a521da2efcc79f43812b2e
tree9cce52596fbb9a2148ad9fc59f865a512590be42
parent722491bfd68bb3d9d0a97c4841d46bf46f9d9397
[mc] Remove MC_state_get_executed_request()

It claims to get the executed request but actually does something else
at the same time.
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_global.cpp
src/mc/mc_state.cpp
src/mc/mc_state.h