+ 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);
+ }