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