done=SD_simulate(-1);
} while(!xbt_dynar_is_empty(done));
xbt_os_timer_stop(timer);
- printf("parse_time:%lf\n", xbt_os_timer_elapsed(timer) );
+ printf("exec_time:%lf\n", xbt_os_timer_elapsed(timer) );
xbt_dynar_free(&done);
xbt_dynar_free(&reclaimed);