Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 1e6b0a5)
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)
Comm for SIMCALL_COMM_WAIT was internal_comm address of mc_state
(confusion between s_smx_action_t and smx_action_t)


No differences found
Clone of SimGrid repository with local patches