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_add_unordered(rdb_t *rdb, uint32_t idx) {
120 /* printf("index: %u\n", idx); */
121 rstat = rdb_check(rdb, idx);
123 printf("rdb_check_add_unordered failed at index %u\n", idx);
129 if (rdb_add_index(rdb, idx) != err_status_ok) {
130 printf("rdb_add_index failed at index %u\n", idx);
140 uint32_t idx, ircvd;
150 for (idx=0; idx < num_trials; idx++) {
151 err = rdb_check_add(&rdb, idx);
157 for (idx=0; idx < num_trials; idx++) {
158 err = rdb_check_expect_failure(&rdb, idx);
172 for (idx=0; idx < num_trials; idx++) {
189 for (idx=0, ircvd=0; idx < num_trials; idx++, ircvd += (1 << (rand() % 10))) {
205 for (idx=0; idx < num_trials; idx++) {
206 err = rdb_check_add(&rdb, idx + 513);
212 for (idx=0; idx < num_trials + 513; idx++) {
213 err = rdb_check_expect_failure(&rdb, idx);