132 print_rdbx(rdbx_t *rdbx) {  in print_rdbx()  argument
135 	 (unsigned long long)(rdbx->index),  in print_rdbx()
136 	 bitvector_bit_string(&rdbx->bitmask, buf, sizeof(buf))  in print_rdbx()
150 rdbx_check_add(rdbx_t *rdbx, uint32_t idx) {  in rdbx_check_add()  argument
154   delta = index_guess(&rdbx->index, &est, idx);  in rdbx_check_add()
156   if (rdbx_check(rdbx, delta) != err_status_ok) {  in rdbx_check_add()
166   if (rdbx_add_index(rdbx, delta) != err_status_ok) {  in rdbx_check_add()
182 rdbx_check_expect_failure(rdbx_t *rdbx, uint32_t idx) {  in rdbx_check_expect_failure()  argument
187   delta = index_guess(&rdbx->index, &est, idx);  in rdbx_check_expect_failure()
189   status = rdbx_check(rdbx, delta);  in rdbx_check_expect_failure()
200 rdbx_check_unordered(rdbx_t *rdbx, uint32_t idx) {  in rdbx_check_unordered()  argument
203   rstat = rdbx_check(rdbx, idx);  in rdbx_check_unordered()
213   rdbx_t rdbx;  in test_replay_dbx()  local
219   status = rdbx_init(&rdbx, ws);  in test_replay_dbx()
230     status = rdbx_check_add(&rdbx, idx);  in test_replay_dbx()
249     status = rdbx_check_expect_failure(&rdbx, idx);  in test_replay_dbx()
256   rdbx_uninit(&rdbx);  in test_replay_dbx()
258   if (rdbx_init(&rdbx, ws) != err_status_ok) {  in test_replay_dbx()
274     status = rdbx_check_unordered(&rdbx, ircvd);  in test_replay_dbx()
283   rdbx_uninit(&rdbx);  in test_replay_dbx()
285   if (rdbx_init(&rdbx, ws) != err_status_ok) {  in test_replay_dbx()
291   status = rdbx_check_add(&rdbx, 1);  in test_replay_dbx()
294   status = rdbx_check_expect_failure(&rdbx, 64500);  in test_replay_dbx()
297   status = rdbx_check_add(&rdbx, 2);  in test_replay_dbx()
302   rdbx_uninit(&rdbx);  in test_replay_dbx()
316   rdbx_t rdbx;  in rdbx_check_adds_per_second()  local
321   if (rdbx_init(&rdbx, ws) != err_status_ok) {  in rdbx_check_adds_per_second()
330     delta = index_guess(&rdbx.index, &est, i);  in rdbx_check_adds_per_second()
332     if (rdbx_check(&rdbx, delta) != err_status_ok)   in rdbx_check_adds_per_second()
335       if (rdbx_add_index(&rdbx, delta) != err_status_ok)  in rdbx_check_adds_per_second()
342   rdbx_uninit(&rdbx);  in rdbx_check_adds_per_second()