Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update bugged1 tesh
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 16 Jan 2013 15:46:31 +0000 (16:46 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 16 Jan 2013 15:46:31 +0000 (16:46 +0100)
commit71425c727bb809221d8c50de3fd491bd75faa381
treeb78ae4f6cb984feb2bcbbda040f2c4a88cf6dd4a
parent942590efaa940196be55743948b96d8b95c6d0ae
model-checker : update bugged1 tesh
examples/msg/mc/bugged1.tesh