+ tracing_file << "#This file was generated using SimGrid-" << SIMGRID_VERSION_MAJOR << "." << SIMGRID_VERSION_MINOR
+ << "." << SIMGRID_VERSION_PATCH << std::endl;
+ tracing_file << "#[";
+ for (auto str : simgrid::xbt::cmdline) {
+ tracing_file << str << " ";
+ }
+ tracing_file << "]" << std::endl;
+}
+
+void dump_comment_file(const std::string& filename)
+{
+ if (filename.empty())
+ return;
+ std::ifstream fs(filename.c_str(), std::ifstream::in);
+
+ if (fs.fail())
+ throw TracingError(XBT_THROW_POINT,
+ xbt::string_printf("Comment file %s could not be opened for reading.", filename.c_str()));
+
+ while (not fs.eof()) {
+ std::string line;
+ std::getline(fs, line);
+ tracing_file << "# " << line;
+ }
+ fs.close();
+}
+
+void dump_header(bool basic, bool display_sizes)
+{
+ // Types
+ tracing_file << "%EventDef PajeDefineContainerType " << PAJE_DefineContainerType << std::endl;