return simix_timers.empty() ? -1.0 : simix_timers.top().first;
}
-static void kill_process(smx_actor_t process)
-{
- SIMIX_process_kill(process, nullptr);
-}
-
-
namespace simgrid {
namespace simix {
simgrid::mc::Client::initialize();
#endif
- if (not simix_global) {
+ if (simix_global == nullptr) {
simix_global = std::unique_ptr<simgrid::simix::Global>(new simgrid::simix::Global());
simix_global->maestro_process = nullptr;