- DEBUG2("Unexplored interleaving found at state %p (%p)", state, trans);
- xbt_setset_set_insert(state->interleave, trans);
+ DEBUG3("%s depend with %s at %p", q->name,
+ state->executed_transition->name, state);
+
+ xbt_setset_foreach(state->enabled_transitions, cursor, trans){
+ if(trans->process == q->process)
+ xbt_setset_set_insert(state->interleave, trans);
+ }
+ /* FIXME: hack to make it work*/
+ trans = q;