Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase timeout in tesh chord_neverjoin
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 22 Nov 2012 08:34:15 +0000 (09:34 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 22 Nov 2012 08:37:03 +0000 (09:37 +0100)
commit4df5992fe329d09bbc2f5d6cac9565361cd14bfb
tree2eca7b81cd13140697e60bb79aa428c98b885f3e
parent1f28bb6ad97b952706794172827423fd4e258abc
model-checker : increase timeout in tesh chord_neverjoin
examples/msg/mc/chord/chord_neverjoin.tesh