move everything out of trunk

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

diff --git a/trunk/verif/nico-md-merge/events_lost.ltl b/trunk/verif/nico-md-merge/events_lost.ltl
deleted file mode 100755 (executable)
index cc0f360..0000000
--- a/trunk/verif/nico-md-merge/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);
-
-[]((have_events_lost) -> (!buffer_large_enough))