while (action != nullptr && action->get_data() != nullptr) {
SD_task_t task = static_cast<SD_task_t>(action->get_data());
XBT_VERB("Task '%s' done", SD_task_get_name(task));
while (action != nullptr && action->get_data() != nullptr) {
SD_task_t task = static_cast<SD_task_t>(action->get_data());
XBT_VERB("Task '%s' done", SD_task_get_name(task));
for (auto const& task : *changed_tasks)
xbt_dynar_push(changed_tasks_dynar, &task);
}
for (auto const& task : *changed_tasks)
xbt_dynar_push(changed_tasks_dynar, &task);
}