projects / lttv.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
blame | history | raw | HEAD
convert from svn repository: remove tags directory
[lttv.git] / trunk / verif / nico-md-merge / read_write.ltl
1 // The writer head must always be superior or equal to the reader head.
2 // assert(write_off - read_off >= 0 && write_off - read_off < HALF_UCHAR);
3
4 [] (rwoff1 && rwoff2)
LTTng 2.x Viewer (LTTV)
This page took 0.029196 seconds and 4 git commands to generate.