Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
be more verbose on explaining the expected result of the model-checker
authorMartin Quinson <martin.quinson@loria.fr>
Thu, 5 Jul 2012 19:33:19 +0000 (21:33 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Thu, 5 Jul 2012 19:33:19 +0000 (21:33 +0200)
commit0ff36f645a2645b6fcc757c72ca30b8533564358
tree91f65f7d1f4aebba6de8579d83ae4fc2cd5df3a2
parent392f009f7db6b4fae2a0f36a0452178d7be7b5f2
be more verbose on explaining the expected result of the model-checker
examples/msg/chord/chord.c