simcall->issuer->name.c_str(), simcall->issuer);
simcall->issuer->simcall.call = SIMCALL_NONE;
/* This check should be useless and slows everyone. Reactivate if you see something weird in process scheduling. */
- // if (std::find(begin(simix_global->process_to_run), end(simix_global->process_to_run), simcall->issuer) !=
- // end(simix_global->process_to_run))
- // DIE_IMPOSSIBLE;
+ if (0) {
+ if (std::find(begin(simix_global->process_to_run), end(simix_global->process_to_run), simcall->issuer) !=
+ end(simix_global->process_to_run))
+ DIE_IMPOSSIBLE;
+ }
simix_global->process_to_run.push_back(simcall->issuer);
}
}