move everything out of trunk

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

diff --git a/trunk/verif/md/model_03_no_events_lost.spin.ltl b/trunk/verif/md/model_03_no_events_lost.spin.ltl
deleted file mode 100644 (file)
index 253f75d..0000000
--- a/trunk/verif/md/model_03_no_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))