Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh bugged1 and bugged2
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 16:34:50 +0000 (17:34 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 16:34:50 +0000 (17:34 +0100)
commit0b383929b7044e87b46f2ebd9f85be4189ae6350
tree8223218de855552b5941d8e1724b7c935ea928b6
parentea1c5a880fd056c637c99a6cc7ec0b9b62ac87c7
model-checker : update tesh bugged1 and bugged2
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged2.tesh