From 731c1c3acd4facc435f497e45e44347d79aff6ad Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@users.noreply.github.com>
Date: Tue, 1 Feb 2022 16:23:24 +0100
Subject: [PATCH] There is no timestamp in TI events, so they were never dumped
 during execution, only at the end. This should save a lot of memory, at the
 expanse of more file accesses.

---
 src/instr/instr_paje_trace.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/instr/instr_paje_trace.cpp b/src/instr/instr_paje_trace.cpp
index 8f7b4ffd84..60ebc5cf43 100644
--- a/src/instr/instr_paje_trace.cpp
+++ b/src/instr/instr_paje_trace.cpp
@@ -24,7 +24,7 @@ void dump_buffer(bool force)
   if (not TRACE_is_enabled())
     return;
   XBT_DEBUG("%s: dump until %f. starts", __func__, last_timestamp_to_dump);
-  if (force){
+  if (force || (trace_format == TraceFormat::Ti)){
     for (auto const& event : buffer) {
       event->print();
       delete event;
-- 
2.20.1