Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update bugged1 tesh
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Jan 2013 15:04:02 +0000 (16:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 1 Jan 2013 15:08:54 +0000 (16:08 +0100)
commit9dbb3ccc6b93628f85c80efdc227436aed930aec
tree2c2a0b1753b023ee661765a5b1b1de90e44d5a6c
parent85a65428aea40518dd5198032efddb3984dbe506
model-checker : update bugged1 tesh
examples/msg/mc/bugged1.tesh