/* Get the set of ready tasks */
ready_tasks = get_ready_tasks(dax);
if (xbt_dynar_is_empty(ready_tasks)) {
xbt_dynar_free_container(&ready_tasks);
/* Get the set of ready tasks */
ready_tasks = get_ready_tasks(dax);
if (xbt_dynar_is_empty(ready_tasks)) {
xbt_dynar_free_container(&ready_tasks);