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 ce77485..5b309a3 100644 (file)
--- 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 =