Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Get rid of the ugly "value" out parameter in MC_state_get_request()
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 10:39:18 +0000 (12:39 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 10:43:23 +0000 (12:43 +0200)
commit67592b097ee1e3d2bc4c1e79d8401732d8d6f869
tree49077fee932046a7e9fe0106158f8baf2b134144
parent9e8ba3861df85d86342342252be58cd546df2d08
[mc] Get rid of the ugly "value" out parameter in MC_state_get_request()
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.h