- DEBUG1("Model : %s", workstation_model_name);
- workstation_id = find_resource_description(surf_workstation_resource_description,
- surf_workstation_resource_description_size,
- workstation_model_name);
- if(!strcmp(workstation_model_name,"compound")) {
- xbt_ex_t e;
- char *network_model_name = NULL;
- char *cpu_model_name = NULL;
- int network_id = -1;
- int cpu_id = -1;
+ start = xbt_os_time();
+ parse_platform_file(file);
+ end = xbt_os_time();
+ XBT_DEBUG("PARSE TIME: %g", (end - start));