Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : include MUTEX_LOCK and UNLOCK in dot output
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 17:37:11 +0000 (18:37 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 17:37:11 +0000 (18:37 +0100)
commit4914b22f76675e6a7f4d4ca2b27fb2edbfde9995
treefc68beb49fd08497fd2efcb06cec05c35bb71dd0
parent68694b3ec9b57621efb384cfed57f2b3a35d6669
model-checker : include MUTEX_LOCK and UNLOCK in dot output
src/mc/mc_request.c