Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : forget one fix in MC_state_set_executed_request
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 15:53:55 +0000 (16:53 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 15:53:55 +0000 (16:53 +0100)
commitea1c5a880fd056c637c99a6cc7ec0b9b62ac87c7
tree1ee5164d6fc3471a920910ab17fcc33f34a9c233
parente13dac70099e758d38fc15778b6f427139c981bb
model-checker : forget one fix in MC_state_set_executed_request
src/mc/mc_state.c