Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make it clear that MC is supposed to detect a counter-example in chord.
authorChristophe Thiéry <christopho128@gmail.com>
Thu, 5 Jul 2012 15:14:55 +0000 (17:14 +0200)
committerChristophe Thiéry <christopho128@gmail.com>
Thu, 5 Jul 2012 15:16:07 +0000 (17:16 +0200)
commit392f009f7db6b4fae2a0f36a0452178d7be7b5f2
treed0171701a0aaba3a540bfcaffef7ec8c1db193c4
parent951ea0532fb9697f2c46ece0a91e054177d21b73
Make it clear that MC is supposed to detect a counter-example in chord.
examples/msg/chord/chord.c