Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 25 Sep 2013 11:37:48 +0000 (13:37 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 25 Sep 2013 11:38:14 +0000 (13:38 +0200)
commit5a99deb07d9d7f0c0509bd85f3714674a7e93fe5
treeed40504596eb976a7ceedfa77f61e75d6949817d
parentfd1d8acdec3f70b71f6153c2205df3f16a57627d
model-checker : increase timeout
examples/msg/mc/bugged1_liveness_visited.tesh