Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : try to fix the model-checker in case of send detached
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 13:44:13 +0000 (14:44 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 18 Feb 2014 13:44:13 +0000 (14:44 +0100)
commit4ea540ea3e645b1a0b2c4ffd46643cd2695396f2
treea3046e49ab205c149f9900001081576010b4b360
parent97890f029cd8f18dcf5acad193cc45cc1b946c3c
model-checker : try to fix the model-checker in case of send detached
src/mc/mc_request.c
src/mc/mc_state.c