-/* Copyright (c) 2010-2013. The SimGrid Team.
+/* Copyright (c) 2010-2014. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
- * under the terms of the license (GNU LGPL) which comes with this package. */
+ * under the terms of the license (GNU LGPL) which comes with this package. */
#include "instr/instr_private.h"
#include "xbt/virtu.h" /* sg_cmdline */
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;