-/* Copyright (c) 2008-2021. The SimGrid Team.
+/* Copyright (c) 2008-2022. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
/* creation of the environment */
e.load_platform(argv[1]);
+ e.seal_platform();
XBT_INFO("Workstation number: %zu, link number: %zu", e.get_host_count(), e.get_link_count());
std::vector<sg4::Host*> hosts = e.get_all_hosts();