static xbt_dict_t tracing_files = nullptr; // TI specific
static double prefix=0.0; // TI specific
-
-/* The active set of functions for the selected trace format
- * By default, they all do nothing */
-
std::vector<PajeEvent*> buffer;
void buffer_debug(std::vector<PajeEvent*> *buf);