+
+ const auto& actor_list = engine->get_actor_list();
+ if (actor_list.empty()) {
+ XBT_INFO("The replay of the trace is complete. The application is terminating.");
+ } else if (std::none_of(begin(actor_list), end(actor_list),
+ [](const auto& kv) { return mc::actor_is_enabled(kv.second); })) {
+ XBT_INFO("The replay of the trace is complete. DEADLOCK detected.");
+ engine->display_all_actor_status();
+ } else {
+ XBT_INFO("The replay of the trace is complete. The application could run further.");
+ }