move everything out of trunk

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

diff --git a/trunk/verif/nico-md-merge/pan.ltl b/trunk/verif/nico-md-merge/pan.ltl
deleted file mode 100644 (file)
index f36ef77..0000000
--- a/trunk/verif/nico-md-merge/pan.ltl
+++ /dev/null
@@ -1,17 +0,0 @@
-#define rwoff1 (write_off - read_off >= 0)
-#define rwoff2 (write_off - read_off < HALF_UCHAR)
-
-#define wcsum1 (write_off - _commit_sum >= 0)
-#define wcsum2 (write_off - _commit_sum < HALF_UCHAR)
-
-#define buffer_large_enough (NUMPROCS + NUMSWITCH <= BUFSIZE)
-#define have_events_lost (events_lost != 0)
-never {    /* !( []((buffer_large_enough) -> (!have_events_lost))) */
-T0_init:
-       if
-       :: ((buffer_large_enough) && (have_events_lost)) -> goto accept_all
-       :: (1) -> goto T0_init
-       fi;
-accept_all:
-       skip
-}