MIRROR of the SimGrid framework, for the simulation of distributed applications (Clouds, HPC, Grids, IoT and others). Most of the dev occurs on FramaGit.
MC_state_choose_request() and MC_state_choose_request_for_process() moved to mc_api.cpp.
The affected checkers and also mc_state.cpp updated in accordance with this change.
MC_state_choose_request() and MC_state_choose_request_for_process() moved to mc_api.cpp. The affected checkers and also mc_state.cpp updated in accordance with this change.