move everything out of trunk

[lttv.git] / trunk / verif / nico / defines

diff --git a/trunk/verif/nico/defines b/trunk/verif/nico/defines
deleted file mode 100755 (executable)
index 45dc7ea..0000000
--- a/trunk/verif/nico/defines
+++ /dev/null
@@ -1,8 +0,0 @@
-#define rd_wr_wr_off1       (write_off - read_off >= 0)
-#define rd_wr_wr_off2       (write_off - read_off < HALF_UCHAR)
-
-#define commit_sum_wr_off1     (write_off - commit_sum >= 0)
-#define commit_sum_wr_off2     (write_off - commit_sum < HALF_UCHAR)
-
-#define buffer_large_enough    (NUMPROCS + NUMSWITCH <= BUFSIZE)
-#define have_events_lost       (events_lost != 0)