projects / lttv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
move everything out of trunk
[lttv.git] / verif / md / model_03_no_events_lost.spin.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 buffer_large_enough -> ([](!have_events_lost))
LTTng 2.x Viewer (LTTV)
This page took 0.032117 seconds and 4 git commands to generate.