print_NULL, print_NULL
};
-
-
xbt_dynar_t buffer = NULL;
void dump_comment (const char *comment)
fclose(file);
}
-void TRACE_init(){
- buffer = xbt_dynar_new(sizeof(paje_event_t), NULL);
+void TRACE_init()
+{
+ buffer = xbt_dynar_new(sizeof(paje_event_t), NULL);
}
-void TRACE_finalize(){
- if (buffer) xbt_dynar_free(&buffer);
+void TRACE_finalize()
+{
+ xbt_dynar_free(&buffer);
}
double TRACE_last_timestamp_to_dump = 0;