rarias/ovni
rarias/ovni
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Format delta time to be parsed

Browse Source
This commit is contained in:
Rodrigo Arias 2021-07-22 12:35:38 +02:00
parent 17d977aad0
commit 557c75cf12
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
dump.c
View File

@ -201,7 +201,7 @@ void emit(struct stream *stream, struct event *ev)
delta = ev->clock - stream->lastclock; delta = ev->clock - stream->lastclock;
printf("%d.%d.%d %c %c % 6u % 6u % 20lu %+15ld ns\n", printf("%d.%d.%d %c %c % 6u % 6u % 20lu % 15ld\n",
stream->loom, stream->proc, stream->tid, stream->loom, stream->proc, stream->tid,
ev->fsm, ev->event, ev->a, ev->b, ev->clock, delta); ev->fsm, ev->event, ev->a, ev->b, ev->clock, delta);
@ -272,9 +272,10 @@ void dump_events(struct trace *trace)
stream = &trace->stream[f]; stream = &trace->stream[f];
if(lastclock >= stream->last.clock) if(lastclock > stream->last.clock)
{ {
fprintf(stderr, "warning: backwards jump in time\n"); fprintf(stdout, "warning: backwards jump in time %lu -> %lu\n",
lastclock, stream->last.clock);
} }
/* Emit current event */ /* Emit current event */