if (not actor_list_.empty()) {
std::string msg = std::string("Shutting down host, but it's not empty:");
if (not actor_list_.empty()) {
std::string msg = std::string("Shutting down host, but it's not empty:");
xbt_die("%s", msg.c_str());
}
for (auto const& arg : actors_at_boot_)
xbt_die("%s", msg.c_str());
}
for (auto const& arg : actors_at_boot_)