int MC_random(int min, int max)
{
- MC_random_create(min,max);
- SIMIX_process_yield();
-
- if(!mc_replay_mode)
- return mc_current_state->executed_transition->current_value;
- else
- return mc_current_state->executed_transition->current_value - 1;
+ MC_trans_intercept_random(min, max);
+ return mc_current_state->executed_transition->random.value;
}
/**
mc_transition_t trans;
xbt_setset_foreach(state->created_transitions, cursor, trans){
+ xbt_setset_elm_remove(mc_setset, trans);
MC_transition_delete(trans);
}
DEBUG5("Resource [%s] (%d): Executing RUNNING action \"%s\" (%p) MaxDuration %lf",
model->name, xbt_swag_size(model->states.running_action_set),
smx_action->name, smx_action, action->max_duration);
-
- /* Copy the transfered data of the completed network actions */
- /* FIXME: be carefull it might not be an action of the network model */
- if(smx_action && smx_action->data != NULL)
- SIMIX_network_copy_data((smx_comm_t)smx_action->data);
-
+
if(smx_action)
SIMIX_action_signal_all(smx_action);
}