+ double start = xbt_os_time();
+ try {
+ parse_platform_file(platf);
+ } catch (const Exception& e) {
+ xbt_die("Error while loading %s: %s", platf.c_str(), e.what());
+ }
+
+ double end = xbt_os_time();
+ XBT_DEBUG("PARSE TIME: %g", (end - start));