Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 9 Jan 2012 20:59:31 +0000 (21:59 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 9 Jan 2012 20:59:31 +0000 (21:59 +0100)
commite716b5b6eb47bcdd09c22747a617a7f68e65a645
tree1939ebf46bbba5c566be845fafa20bc85b9cbafe
parent40af3dfdccd15dc232d8e7d9e9ad26655092cbfc
model-checker : add comments for the example bugged2_liveness
examples/msg/mc/bugged2_liveness.c