* Utils *
*********/
-std::vector<simgrid::kernel::resource::Model*> all_existing_models; /* to destroy models correctly */
-std::unordered_map<simgrid::kernel::resource::Model::Type, std::vector<simgrid::kernel::resource::Model*>>
- models_by_type;
-
simgrid::kernel::profile::FutureEvtSet future_evt_set;
std::vector<std::string> surf_path;
{
simgrid::s4u::Engine::shutdown();
- for (auto const& model : all_existing_models)
- delete model;
-
tmgr_finalize();
sg_platf_exit();