Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix tesh (different local deployment file)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:47:16 +0000 (22:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 21:47:16 +0000 (22:47 +0100)
commit0ecf1fc991ba1f035fd1ddfc4a5c021b8630144d
tree561d620b1e92efa554f85dc5293166a0a2968121
parenteed33b5980ef79e3f979b80564fbd5314c47902d
model-checker : fix tesh (different local deployment file)
examples/msg/mc/chord/chord_neverjoin.tesh