From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 17:37:11 +0000 (+0100)
Subject: model-checker : include MUTEX_LOCK and UNLOCK in dot output
X-Git-Tag: v3_12~746
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/4914b22f76675e6a7f4d4ca2b27fb2edbfde9995?ds=sidebyside

model-checker : include MUTEX_LOCK and UNLOCK in dot output
---

diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index ce77485c2f..5b309a3855 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -433,7 +433,7 @@ char *MC_request_get_dot_output(smx_simcall_t req, int value)
 
   char *str = NULL, *label = NULL;
   smx_synchro_t act = NULL;
-
+  
   switch (req->call) {
   case SIMCALL_COMM_ISEND:
     if (req->issuer->smx_host)
@@ -530,6 +530,14 @@ char *MC_request_get_dot_output(smx_simcall_t req, int value)
     }
     break;
 
+  case SIMCALL_MUTEX_LOCK:
+    label = bprintf("[(%lu)] Mutex LOCK", req->issuer->pid);
+    break;
+    
+  case SIMCALL_MUTEX_UNLOCK:
+    label = bprintf("[(%lu)] Mutex UNLOCK", req->issuer->pid);
+    break;
+
   case SIMCALL_MC_RANDOM:
     if (req->issuer->smx_host)
       label =