- if(!mc_replay_mode)
- return mc_current_state->executed_transition->current_value;
- else
- return mc_current_state->executed_transition->current_value - 1;
+ while( (state = (mc_state_t)xbt_fifo_pop(mc_stack)) != NULL )
+ MC_state_delete(state);
+
+ xbt_fifo_free(mc_stack);
+ xbt_setset_destroy(mc_setset);
+ MC_UNSET_RAW_MEM;
+}
+
+int MC_random(int min, int max)
+{
+ MC_trans_intercept_random(min, max);
+ return mc_current_state->executed_transition->random.value;