- }else{
- 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);
- if(((pushState_t)event->data)->extra !=NULL){
- fprintf(tracing_file, "%d ", ((instr_extra_data)((pushState_t)event->data)->extra)->send_size);
- }else{
- fprintf(tracing_file, "0 ");
- }
- fprintf(tracing_file, "\n");
-
- }else{
- fprintf(tracing_file, "%d %.*f %s %s %s ", (int)event->event_type, TRACE_precision(), event->timestamp,
- ((pushState_t)event->data)->type->id, ((pushState_t)event->data)->container->id,
- ((pushState_t)event->data)->value->id);
- if(((pushState_t)event->data)->extra !=NULL){
- fprintf(tracing_file, "%d ", ((instr_extra_data)((pushState_t)event->data)->extra)->send_size);
- }else{
- fprintf(tracing_file, "0 ");
- }
- fprintf(tracing_file, "\n");