From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 24 Mar 2015 12:11:20 +0000 (+0100)
Subject: [mc] Fix: MC_random always starts from 0
X-Git-Tag: v3_12~732^2~81
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/8c76880ad6af474e143551ab0354f8fd3e4764d6

[mc] Fix: MC_random always starts from 0
---

diff --git a/src/mc/mc_state.c b/src/mc/mc_state.c
index 3dc419d46f..2239ac96e6 100644
--- a/src/mc/mc_state.c
+++ b/src/mc/mc_state.c
@@ -248,7 +248,7 @@ smx_simcall_t MC_state_get_request(mc_state_t state, int *value)
 
         case SIMCALL_MC_RANDOM:
           if (procstate->state == MC_INTERLEAVE)
-            *value = 0;
+            *value = simcall_mc_random__get__min(&process->simcall);
           else {
             if (state->req_num < simcall_mc_random__get__max(&process->simcall))
               *value = state->req_num + 1;