+
+
+ /* Check for deadlocks */
+ xbt_setset_substract(mc_current_state->transitions, mc_current_state->done);
+ if(xbt_setset_set_size(mc_current_state->transitions) > 0){
+ INFO0("**************************");
+ INFO0("*** DEAD-LOCK DETECTED ***");
+ INFO0("**************************");
+ INFO0("Locked transitions:");
+ xbt_setset_foreach(mc_current_state->transitions, cursor, trans){
+ INFO3("%s [src=%p, dst=%p]", trans->name, trans->wait.comm->src_proc,
+ trans->wait.comm->dst_proc);
+ }
+
+ INFO0("Counter-example execution trace:");
+ MC_dump_stack(mc_stack);
+
+ MC_print_statistics(mc_stats);
+ xbt_abort();
+ }
+