-/* Copyright (c) 2008-2021. The SimGrid Team.
+/* Copyright (c) 2008-2023. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
simgrid::s4u::Engine e(&argc, argv);
e.load_platform(argv[1]);
+ e.seal_platform();
std::vector<simgrid::s4u::Host*> hosts = e.get_all_hosts();
int host_count = static_cast<int>(e.get_host_count());