-void buffer_debug(std::vector<simgrid::instr::PajeEvent*>* buf)
-{
- if (not XBT_LOG_ISENABLED(instr_paje_trace, xbt_log_priority_debug))
- return;
- XBT_DEBUG(">>>>>> Dump the state of the buffer. %zu events", buf->size());
- for (auto const& event : *buf) {
- event->print();
- XBT_DEBUG("%p %s", event, stream.str().c_str());
- stream.str("");
- stream.clear();
- }
- XBT_DEBUG("<<<<<<");
-}
-