+ double start = 0, end = 0;
+ if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+ start = xbt_os_time();
+ parse_platform_file(file);
+ if(XBT_LOG_ISENABLED(simix_environment, xbt_log_priority_debug))
+ end = xbt_os_time();
+ XBT_DEBUG("PARSE TIME: %g", (end - start));