From: Christophe Thiéry <christopho128@gmail.com>
Date: Thu, 5 Jul 2012 15:14:55 +0000 (+0200)
Subject: Make it clear that MC is supposed to detect a counter-example in chord.
X-Git-Tag: v3_8~324
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/392f009f7db6b4fae2a0f36a0452178d7be7b5f2?hp=951ea0532fb9697f2c46ece0a91e054177d21b73

Make it clear that MC is supposed to detect a counter-example in chord.
---

diff --git a/examples/msg/chord/chord.c b/examples/msg/chord/chord.c
index e0787cb21d..f2c07baea2 100644
--- a/examples/msg/chord/chord.c
+++ b/examples/msg/chord/chord.c
@@ -637,6 +637,7 @@ static int remote_find_successor(node_t node, int ask_to, int id)
         task_data_t ans_data = MSG_task_get_data(task_received);
 
         if (MC_IS_ENABLED) {
+          // the model-checker is expected to find a counter-example here
           MC_assert(task_received == task_sent);
         }