- if (pattern > 3)
- {
- int *order;
- r1 = casefile_get_random_reader (cf);
- order = xmalloc (sizeof *order * case_cnt);
- for (i = 0; i < case_cnt; i++)
- order[i] = i;
- if (case_cnt > 0)
- gsl_ran_shuffle (rng, order, case_cnt, sizeof *order);
- for (i = 0; i < case_cnt; i++)
- {
- int case_idx = order[i];
- casereader_seek (r1, case_idx);
- read_and_verify_random_case (cf, r1, case_idx);
- }
- casereader_destroy (r1);
- free (order);
- }