Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update tesh for jenkins (memory management seems different between...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 10 Apr 2013 10:08:31 +0000 (12:08 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 10 Apr 2013 10:08:42 +0000 (12:08 +0200)
commit5decec9a8d02786adfe083e95659d93087a7743f
tree04e2fdb5943947b910f70068d24c24c9277b700f
parent8429a27f1273ff9240aeb17fd311802599e4d89c
model-checker : update tesh for jenkins (memory management seems different between ubuntu and debian)
examples/msg/mc/chord_liveness/chord_neverjoin_timeout_visited.tesh