89 rdb_check_add(rdb_t *rdb, uint32_t idx) {  in rdb_check_add()  argument
91   if (rdb_check(rdb, idx) != err_status_ok) {  in rdb_check_add()
92     printf("rdb_check failed at index %u\n", idx);  in rdb_check_add()
95   if (rdb_add_index(rdb, idx) != err_status_ok) {  in rdb_check_add()
96     printf("rdb_add_index failed at index %u\n", idx);  in rdb_check_add()
104 rdb_check_expect_failure(rdb_t *rdb, uint32_t idx) {  in rdb_check_expect_failure()  argument
107   err = rdb_check(rdb, idx);  in rdb_check_expect_failure()
109     printf("rdb_check failed at index %u (false positive)\n", idx);  in rdb_check_expect_failure()
117 rdb_check_unordered(rdb_t *rdb, uint32_t idx) {  in rdb_check_unordered()  argument
121   rstat = rdb_check(rdb, idx);  in rdb_check_unordered()
123     printf("rdb_check_unordered failed at index %u\n", idx);  in rdb_check_unordered()
132   uint32_t idx, ircvd;  in test_rdb_db()  local
142   for (idx=0; idx < num_trials; idx++) {  in test_rdb_db()
143     err = rdb_check_add(&rdb, idx);  in test_rdb_db()
149   for (idx=0; idx < num_trials; idx++) {  in test_rdb_db()
150     err = rdb_check_expect_failure(&rdb, idx);  in test_rdb_db()
164   for (idx=0; idx < num_trials; idx++) {  in test_rdb_db()