projects / lttv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
move everything out of trunk
[lttv.git] / verif / nico-md-merge / events_lost.ltl
1 // If we have less writers than the buffer space available, we should
2 // not loose events.
3 // assert(NUMPROCS + NUMSWITCH > BUFSIZE || events_lost == 0);
4
5 []((have_events_lost) -> (!buffer_large_enough))
LTTng 2.x Viewer (LTTV)
This page took 0.029655 seconds and 4 git commands to generate.