convert from svn repository: remove tags directory

[lttv.git] / trunk / verif / md / model_03_no_events_lost.spin.ltl

// If we have less writers than the buffer space available, we should
// not loose events.
// assert(NUMPROCS + NUMSWITCH > BUFSIZE || events_lost == 0);

buffer_large_enough -> ([](!have_events_lost))