From 48e9fb0982ced660ff66fd7d83281dc3fdc57432 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Fri, 30 May 2014 09:37:44 +0200
Subject: [PATCH] model-checker : improve error message

---
 src/mc/mc_dpor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
2.20.1