Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout in tesh
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 13 Jun 2013 10:15:31 +0000 (12:15 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 13 Jun 2013 10:15:31 +0000 (12:15 +0200)
commit639d8a94d0c1921cee3a2cebdd9480d69a407761
tree219c667c4c86e1556cc798c0debac50dcccd12e6
parente872999954cf2e237de0f8de77e95b16e7913410
model-checker : increase timeout in tesh
examples/msg/mc/bugged1.tesh
examples/msg/mc/bugged2.tesh