*/
XBT_INLINE double SIMIX_get_clock(void)
{
- if(MC_is_active()){
+ if(MC_is_active() || MC_record_replay_is_active()){
return MC_process_clock_get(SIMIX_process_self());
}else{
return surf_get_clock();
void SIMIX_run(void)
{
if(MC_record_path) {
+ MC_record_replay_init();
MC_record_replay_from_string(MC_record_path);
return;
}