From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Fri, 30 May 2014 07:37:44 +0000 (+0200)
Subject: model-checker : improve error message
X-Git-Tag: v3_12~956^2~22
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/48e9fb0982ced660ff66fd7d83281dc3fdc57432?ds=sidebyside

model-checker : improve error message
---

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index ba6c5424dd..b7af5b4f0b 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -66,7 +66,7 @@ static int compare_comm_pattern(mc_comm_pattern_t comm1, mc_comm_pattern_t comm2
 static void deterministic_pattern(xbt_dynar_t initial_pattern, xbt_dynar_t pattern){
 
   if(!xbt_dynar_is_empty(incomplete_communications_pattern))
-    xbt_die("Oh oh ...");
+    xbt_die("Damn ! Some communications are incomplete that means one or several simcalls are not handle ... ");
 
   unsigned int cursor = 0, send_index = 0, recv_index = 0;
   mc_comm_pattern_t comm1, comm2;