- XBT_INFO("| %.*s: %g", DATA_DESCR_WIDTH,
- "Total simulated time..................................",
- simulated_time);
- XBT_INFO("| %.*s: %g", DATA_DESCR_WIDTH,
- "Total simulation time.................................",
- simulation_time.duration());
- XBT_INFO("| %.*s: %g", DATA_DESCR_WIDTH,
- "Elapsed (wall clock) time.............................",
- elapsed_time.duration());
+ PR_VALUE("Total simulated time", "%g", simulated_time);
+ PR_VALUE("Total simulation time", "%g", simulation_time.duration());
+ PR_VALUE("Elapsed (wall clock) time", "%g", elapsed_time.duration());