+ /* output one line comment */
+ dump_comment(simgrid::config::get_value<std::string>(OPT_TRACING_COMMENT));
+
+ /* output comment file */
+ dump_comment_file(simgrid::config::get_value<std::string>(OPT_TRACING_COMMENT_FILE));
+
+ if (format == "Paje") {
+ /* output Pajé header */
+ TRACE_header(TRACE_basic(), TRACE_display_sizes());
+ } else
+ simgrid::instr::trace_format = simgrid::instr::TraceFormat::Ti;
+