Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix centralized mutex example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 2 Oct 2013 14:18:06 +0000 (16:18 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:19 +0000 (15:21 +0200)
commit5e3d0bb6a421978c079cd454fb9d79709748efb6
tree0905f1dbe9a262cae0c70f7b3922d57383ddb14d
parent01a66c0fe18041cddd1ca2ded9a2b1c38e61fae2
model-checker : fix centralized mutex example
examples/msg/mc/centralized_mutex.c