if (mc_model_checker == nullptr)
return actor->name.c_str();
simgrid::mc::ActorInformation* info = actor_info_cast(actor);
if (info->name.empty()) {
if (mc_model_checker == nullptr)
return actor->name.c_str();
simgrid::mc::ActorInformation* info = actor_info_cast(actor);
if (info->name.empty()) {