-void sg_host_exit()
-{
- /* copy all names to not modify the map while iterating over it.
- *
- * Plus, the hosts are destroyed in the lexicographic order to ensure
- * that the output is reproducible: we don't want to kill them in the
- * pointer order as it could be platform-dependent, which would break
- * the tests.
- */
- std::vector<std::string> names = std::vector<std::string>();
- for (auto const& kv : simgrid::s4u::host_list)
- names.push_back(kv.second->getName());
-
- std::sort(names.begin(), names.end());
-
- for (auto const& name : names)
- simgrid::s4u::host_list.at(name)->destroy();
-
- // host_list.clear(); This would be sufficient if the dict would contain smart_ptr. It's now useless
-}
-