#include "private.h"
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_trans, mc,
+ "Logging specific to MC transitions");
+
/* Creates a new iSend transition */
mc_transition_t MC_trans_isend_new(smx_rdv_t rdv)
{
/* Wait transitions are enabled only if the communication has both a
sender and receiver */
case mc_wait:
- if(trans->wait.comm->src_proc && trans->wait.comm->dst_proc)
+ if(trans->wait.comm->src_proc && trans->wait.comm->dst_proc){
xbt_setset_set_insert(enabled, trans);
+ DEBUG1("Transition %p is enabled for next state", trans);
+ }
break;
/* WaitAny transitions are enabled if any of it's communications has both
xbt_dynar_foreach(trans->waitany.comms, index, comm){
if(comm->src_proc && comm->dst_proc){
xbt_setset_set_insert(enabled, trans);
+ DEBUG1("Transition %p is enabled for next state", trans);
break;
}
}
/* The rest of the transitions cannot be disabled */
default:
xbt_setset_set_insert(enabled, trans);
+ DEBUG1("Transition %p is enabled for next state", trans);
break;
}
}