move everything out of trunk

[lttv.git] / trunk / verif / nico-md-merge / no_events_lost.ltl

diff --git a/trunk/verif/nico-md-merge/no_events_lost.ltl b/trunk/verif/nico-md-merge/no_events_lost.ltl
deleted file mode 100755 (executable)
index 3b34f26..0000000
--- a/trunk/verif/nico-md-merge/no_events_lost.ltl
+++ /dev/null
@@ -1,5 +0,0 @@
-// 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))