trunk/verif/nico/defines

   1 #define rd_wr_wr_off1       (write_off - read_off >= 0)
   2 #define rd_wr_wr_off2       (write_off - read_off < HALF_UCHAR)
   3
   4 #define commit_sum_wr_off1      (write_off - commit_sum >= 0)
   5 #define commit_sum_wr_off2      (write_off - commit_sum < HALF_UCHAR)
   6
   7 #define buffer_large_enough     (NUMPROCS + NUMSWITCH <= BUFSIZE)
   8 #define have_events_lost        (events_lost != 0)