Lines Matching refs:get
104 assert(get(push) == get(pop) + get(steal),
106 get(push), get(pop), get(steal)));
107 assert(get(pop_slow) <= get(pop),
109 get(pop_slow), get(pop)));
110 assert(get(steal) <= get(steal_attempt),
112 get(steal), get(steal_attempt)));
113 assert(get(overflow) == 0 || get(push) != 0,
115 get(overflow), get(push)));
116 assert(get(overflow_max_len) == 0 || get(overflow) != 0,
118 get(overflow_max_len), get(overflow)));