xbt_assert(mc_mode != MC_MODE_SERVER);
/* TODO, if the MC is disabled we do not really need to make a simcall for
* this :) */
/* FIXME: return mc_current_state->executed_transition->random.value; */
return simcall_mc_random(min, max);
xbt_assert(mc_mode != MC_MODE_SERVER);
/* TODO, if the MC is disabled we do not really need to make a simcall for
* this :) */
/* FIXME: return mc_current_state->executed_transition->random.value; */
return simcall_mc_random(min, max);