- fprintf(tracing_file, "%d %lf %s %s %s %s %s\n", pajeEndLinkId, time,
+ INSTR_PAJE_ASSERT(entityType);
+ INSTR_PAJE_ASSERT(container);
+ INSTR_PAJE_ASSERT(value);
+ INSTR_PAJE_ASSERT(destContainer);
+ INSTR_PAJE_ASSERT(key);
+
+ if (time == 0){
+ fprintf(tracing_file, "%d 0 %s %s %s %s %s\n", pajeEndLinkId,
+ entityType, container, value, destContainer, key);
+ }else {
+ fprintf(tracing_file, "%d %lf %s %s %s %s %s\n", pajeEndLinkId, time,