Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9d3c287) | patch
model-checker : fix MC_state_set_executed_request
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 3 Dec 2012 18:07:15 +0000 (19:07 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 3 Dec 2012 18:07:15 +0000 (19:07 +0100)
commit1e6b0a52bef29bab9fd6754500c4e67206b07e7c
tree420b75b2e756daabb1dfb9af43ec80dbaa8952e3tree | snapshot
parent9d3c2875f1f2f1f758514ddc54a3d589ef52743ccommit | diff
model-checker : fix MC_state_set_executed_request

Comm for SIMCALL_COMM_WAIT was internal_comm address of mc_state
(confusion between s_smx_action_t and smx_action_t)
src/mc/mc_state.c diff | blob | history
Clone of SimGrid repository with local patches