static xbt_dict_t tracing_files = nullptr; // TI specific
static double prefix=0.0; // TI specific
-
-void print_NULL(PajeEvent* event){}
-
-/* The active set of functions for the selected trace format
- * By default, they all do nothing, hence the print_NULL to avoid segfaults */
-
std::vector<PajeEvent*> buffer;
void buffer_debug(std::vector<PajeEvent*> *buf);
/* prevent 0.0000 in the trace - this was the behavior before the transition to c++ */
if (timestamp < 1e-12)
stream << 0;
- else
- stream << timestamp;
+ else
+ stream << timestamp;
stream << " " << container->type->id << " " << container->id;
print_row();
} else if (instr_fmt_type == instr_fmt_TI) {