remove files unneeded for lttv

[lttv.git] / verif / md / model_03_write_read_off.spin.ltl

diff --git a/verif/md/model_03_write_read_off.spin.ltl b/verif/md/model_03_write_read_off.spin.ltl
deleted file mode 100644 (file)
index fbed3b8..0000000
--- a/verif/md/model_03_write_read_off.spin.ltl
+++ /dev/null
@@ -1,4 +0,0 @@
-// The writer head must always be superior or equal to the reader head.
-// assert(write_off - read_off >= 0 && write_off - read_off < HALF_UCHAR);
-
-[] (rwoff1 && rwoff2)