/* name of the tracefile */
simgrid::config::declare_flag<std::string>("tracing/filename", "Trace file created by the instrumented SimGrid.",
/* name of the tracefile */
simgrid::config::declare_flag<std::string>("tracing/filename", "Trace file created by the instrumented SimGrid.",