From ba89d905fbde89ecbea7c4a50ea17db987be8437 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Wed, 7 Nov 2012 16:16:20 +0100
Subject: [PATCH] model-checker : add debug information on processes enabled
 for each state

---
 src/mc/mc_liveness.c | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index e1b7444da2..8464bfff4a 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -394,6 +394,13 @@ void MC_ddfs(int search_cycle){
         next_graph_state = MC_state_pair_new();
 
         /* Get enabled process and insert it in the interleave set of the next graph_state */
+
+        xbt_swag_foreach(process, simix_global->process_list){
+          if(MC_process_is_enabled(process)){
+            XBT_DEBUG("Process %lu enabled with simcall : %d", process->pid, (&process->simcall)->call); 
+          }
+        }
+
         xbt_swag_foreach(process, simix_global->process_list){
           if(MC_process_is_enabled(process)){
             MC_state_interleave_process(next_graph_state, process);
-- 
2.20.1