if(MC_process_is_enabled(process)){
MC_state_interleave_process(next_state, process);
XBT_DEBUG("Process %lu enabled with simcall : %d", process->pid, (&process->simcall)->call);
if(MC_process_is_enabled(process)){
MC_state_interleave_process(next_state, process);
XBT_DEBUG("Process %lu enabled with simcall : %d", process->pid, (&process->simcall)->call);
- /*if(!MC_state_process_is_done(prev_state, req->issuer))
- MC_state_interleave_process(prev_state, req->issuer);
- else
- XBT_DEBUG("Process %p is in done set", req->issuer);*/
-
+ break;
+
+ }else if(req->issuer == MC_state_get_executed_request(prev_state, &value)->issuer){