Lines Matching refs:invariant
74 invariant(r == 0); in test_prefetch_read()
75 invariant(dn->n_children == 3); in test_prefetch_read()
76 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
77 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
78 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
80 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
81 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
82 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
93 invariant(r == 0); in test_prefetch_read()
94 invariant(dn->n_children == 3); in test_prefetch_read()
95 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_prefetch_read()
96 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
97 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
100 invariant(BP_STATE(dn, 0) == PT_COMPRESSED); in test_prefetch_read()
101 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_prefetch_read()
102 invariant(BP_STATE(dn, 2) == PT_COMPRESSED); in test_prefetch_read()
104 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_prefetch_read()
105 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
106 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
117 invariant(r == 0); in test_prefetch_read()
118 invariant(dn->n_children == 3); in test_prefetch_read()
119 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
120 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
121 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
124 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
125 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_prefetch_read()
126 invariant(BP_STATE(dn, 2) == PT_COMPRESSED); in test_prefetch_read()
128 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
129 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
130 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
141 invariant(r == 0); in test_prefetch_read()
142 invariant(dn->n_children == 3); in test_prefetch_read()
143 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
144 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
145 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
148 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
149 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_prefetch_read()
150 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
152 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
153 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_prefetch_read()
154 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
164 invariant(r == 0); in test_prefetch_read()
165 invariant(dn->n_children == 3); in test_prefetch_read()
166 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
167 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
168 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
171 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
172 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
173 invariant(BP_STATE(dn, 2) == PT_COMPRESSED); in test_prefetch_read()
175 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_prefetch_read()
176 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
177 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_prefetch_read()
187 invariant(r == 0); in test_prefetch_read()
188 invariant(dn->n_children == 3); in test_prefetch_read()
189 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_prefetch_read()
190 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
191 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
194 invariant(BP_STATE(dn, 0) == PT_COMPRESSED); in test_prefetch_read()
195 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
196 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
198 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_prefetch_read()
199 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_prefetch_read()
200 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_prefetch_read()
237 invariant(r == 0); in test_subset_read()
238 invariant(dn->n_children == 3); in test_subset_read()
239 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
240 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_subset_read()
241 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
246 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
247 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_subset_read()
248 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
251 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
252 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_subset_read()
253 invariant(BP_STATE(dn, 2) == PT_COMPRESSED); in test_subset_read()
255 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
256 invariant(BP_STATE(dn, 1) == PT_ON_DISK); in test_subset_read()
257 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
266 invariant(r == 0); in test_subset_read()
267 invariant(dn->n_children == 3); in test_subset_read()
268 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
269 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_subset_read()
270 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
275 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
276 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_subset_read()
277 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
280 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
281 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_subset_read()
282 invariant(BP_STATE(dn, 2) == PT_COMPRESSED); in test_subset_read()
284 invariant(BP_STATE(dn, 0) == PT_ON_DISK); in test_subset_read()
285 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_subset_read()
286 invariant(BP_STATE(dn, 2) == PT_AVAIL); in test_subset_read()
294 invariant(r == 0); in test_subset_read()
295 invariant(dn->n_children == 3); in test_subset_read()
296 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_subset_read()
297 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_subset_read()
298 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_subset_read()
303 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_subset_read()
304 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_subset_read()
305 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_subset_read()
308 invariant(BP_STATE(dn, 0) == PT_COMPRESSED); in test_subset_read()
309 invariant(BP_STATE(dn, 1) == PT_COMPRESSED); in test_subset_read()
310 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_subset_read()
312 invariant(BP_STATE(dn, 0) == PT_AVAIL); in test_subset_read()
313 invariant(BP_STATE(dn, 1) == PT_AVAIL); in test_subset_read()
314 invariant(BP_STATE(dn, 2) == PT_ON_DISK); in test_subset_read()
328 invariant(fd >= 0); in test_prefetching()
397 invariant(b.b == 20); in test_prefetching()
403 invariant(offset == in test_prefetching()
407 invariant(offset == in test_prefetching()
409 invariant(size == 100); in test_prefetching()
414 invariant(r == 0); in test_prefetching()
431 invariant(r != -1); in test_prefetching()