Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : increase tesh timeout for mc-chord-neverjoin-ucontext
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 5 Dec 2012 15:21:15 +0000 (16:21 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 5 Dec 2012 15:21:15 +0000 (16:21 +0100)
commit8da04e000fceccdeebd0118f27d6974c8858da0e
tree586b70a082913ea804bd141ef93b43a84569d9c8
parentd28deecd8877f863c3b2f8623da62ce8aeee304c
model-checker : increase tesh timeout for mc-chord-neverjoin-ucontext
examples/msg/mc/chord/chord_neverjoin.tesh