+
+
+ /* 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){
+ INFO1("%s", trans->name);
+ }
+
+ INFO0("Counter-example execution trace:");
+ MC_dump_stack(mc_stack);
+
+ MC_print_statistics(mc_stats);
+ xbt_abort();
+ }
+