From 4914b22f76675e6a7f4d4ca2b27fb2edbfde9995 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Wed, 25 Feb 2015 18:37:11 +0100
Subject: [PATCH 1/1] model-checker : include MUTEX_LOCK and UNLOCK in dot
 output

---
 src/mc/mc_request.c | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

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