Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix bugged mutual exclusion example in SMPI
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 08:17:56 +0000 (10:17 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 29 Sep 2013 08:20:52 +0000 (10:20 +0200)
commit2aad2f9ce120b767be27c53e7d03b08a8e4e761f
tree6acebd9e5add0d8c4b3924bca5ea6e93943f48e5
parentbae1e97a2f32c6ba83e346f3427255ae63d52109
model-checker : fix bugged mutual exclusion example in SMPI
examples/smpi/mc/bugged1_liveness.c