- fprintf(tracing_file, "%d %lf %s %s %s\n",
- (int)event->event_type,
- event->timestamp,
- ((pushState_t)event->data)->type->id,
- ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
+ if (event->timestamp == 0){
+ fprintf(tracing_file, "%d 0 %s %s %s ",
+ (int)event->event_type,
+ ((pushState_t)event->data)->type->id,
+ ((pushState_t)event->data)->container->id,
+ ((pushState_t)event->data)->value->id);
+
+ char *value = NULL;
+ unsigned int iter = 0;
+ xbt_dynar_foreach( ((pushState_t)event->data)->extra, iter, value) {
+ fprintf(tracing_file, "%s ", value);
+ }
+ fprintf(tracing_file, "\n");
+
+ }else{
+ fprintf(tracing_file, "%d %f %s %s %s ",
+ (int)event->event_type,
+ event->timestamp,
+ ((pushState_t)event->data)->type->id,
+ ((pushState_t)event->data)->container->id,
+ ((pushState_t)event->data)->value->id);
+
+ char *value = NULL;
+ unsigned int iter = 0;
+ xbt_dynar_foreach( ((pushState_t)event->data)->extra, iter, value) {
+ fprintf(tracing_file, "%s ", value);
+ }
+ fprintf(tracing_file, "\n");
+ }
+ xbt_dynar_free(&((pushState_t)event->data)->extra);