Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Show more information on dead-lock'ed transitions
authorcristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 5 Aug 2010 09:01:03 +0000 (09:01 +0000)
committercristianrosa <cristianrosa@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 5 Aug 2010 09:01:03 +0000 (09:01 +0000)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8105 48e7efb5-ca39-0410-a469-dd3cf9ba447f

src/mc/mc_dpor.c

index 05677d2..bdc859e 100644 (file)
@@ -153,7 +153,8 @@ void MC_dpor(void)
         INFO0("**************************");
         INFO0("Locked transitions:");
         xbt_setset_foreach(mc_current_state->transitions, cursor, trans){
         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:");
         }
 
         INFO0("Counter-example execution trace:");