Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove duplicated example chord
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 14:46:15 +0000 (16:46 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 14:46:15 +0000 (16:46 +0200)
commit2bcbbaa9848de60e6d3efc806bd25f20ec2f7790
treef424bc3fc9c78320d8ce96875c439384b9160850
parente106f396c86e8656041281680d63735549985879
model-checker : remove duplicated example chord
examples/msg/mc/chord/chord.c [deleted file]
examples/msg/mc/chord/chord_neverjoin.tesh [deleted file]
examples/msg/mc/chord/chord_neverjoin_timeout_visited.tesh [deleted file]
examples/msg/mc/chord/deploy_chord4.xml [deleted file]