Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh bugged1_liveness and chord_neverjoin
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:55:28 +0000 (00:55 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 31 Jan 2013 23:55:28 +0000 (00:55 +0100)
commit0b45215dc45523b8a95cb0edc9d80ca250a8e88e
tree43f8ca42246df8fad74c53e0b6d8c2a82c62a18f
parentae4e4af03720a84f4937d426f1ac8ca4d4fa1291
model-checker : update tesh bugged1_liveness and chord_neverjoin
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/chord/chord_neverjoin.tesh