Make batch test shorter
[urcu.git] / formal-model / urcu / DEFINES
CommitLineData
8bc62ca4 1
8bc62ca4
MD
2#define read_free_race (read_generation[0] == last_free_gen)
3#define read_free (free_done && data_access[0])
4
fa5b6724
MD
5//#define TEST_SIGNAL
6//#define TEST_SIGNAL_ON_READ
7//#define TEST_SIGNAL_ON_WRITE
8bc62ca4 8
60a1db9d
MD
9#define RCU_GP_CTR_BIT (1 << 7)
10#define RCU_GP_CTR_NEST_MASK (RCU_GP_CTR_BIT - 1)
11
06d6106d 12#ifndef READER_NEST_LEVEL
8bc62ca4 13#define READER_NEST_LEVEL 1
fa5b6724 14//#define READER_NEST_LEVEL 2
06d6106d 15#endif
cc76fd1d
MD
16
17#define REMOTE_BARRIERS
This page took 0.028572 seconds and 4 git commands to generate.