X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/e5079ae99c91da966852f2a09ba3f1aa123abc11..db0795278fff21bb440a8eb3640e99d4257f249b:/src/mc/mc_dpor.c

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 05677d22bf..bdc859e6e5 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -153,7 +153,8 @@ void MC_dpor(void)
         INFO0("**************************");
         INFO0("Locked transitions:");
         xbt_setset_foreach(mc_current_state->transitions, cursor, trans){
-          INFO1("%s", trans->name);
+          INFO3("%s [src=%p, dst=%p]", trans->name, trans->wait.comm->src_proc,
+                trans->wait.comm->dst_proc);
         }
 
         INFO0("Counter-example execution trace:");