#ifdef TIME_BENCH
smx_ctx_raw_new_sr();
#endif
- while (xbt_dynar_length(simix_global->process_to_run)) {
+ while (!xbt_dynar_is_empty(simix_global->process_to_run)) {
XBT_DEBUG("New Sub-Schedule Round; size(queue)=%lu",
xbt_dynar_length(simix_global->process_to_run));
SIMIX_process_runall();
/* Clean processes to destroy */
SIMIX_process_empty_trash();
- } while (time != -1.0 || xbt_dynar_length(simix_global->process_to_run) > 0);
+ } while (time != -1.0 || !xbt_dynar_is_empty(simix_global->process_to_run));
if (xbt_swag_size(simix_global->process_list) != 0) {