move everything out of trunk

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

diff --git a/trunk/verif/md/model_03_events_lost.spin.ltl b/trunk/verif/md/model_03_events_lost.spin.ltl
deleted file mode 100644 (file)
index 00b4f1d..0000000
--- a/trunk/verif/md/model_03_events_lost.spin.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)