Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 6 Apr 2016 14:05:38 +0000 (16:05 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 7 Apr 2016 08:15:39 +0000 (10:15 +0200)
commit932e745735378c442e2348a3a428d97b69398f86
tree8c9155aea3598f687d1fdffa36b4c789285ca039
parent4dab43b565697db8842f7bdaf9baa4c28f5a2082
[mc] Get rid of MC_state_set_executed_request() in order to simplify the Checkers
src/mc/CommunicationDeterminismChecker.cpp
src/mc/LivenessChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_state.cpp
src/mc/mc_state.h