Lines Matching defs:test_length
64 calculate_data(FILE *file, const int test_length)
69 assert(test_length >= 4);
71 (void) fprintf(file, "Testing with TEST_LENGTH = %d\n\n", test_length);
76 for (i=0; i < test_length; i++) {
81 bs = bit_alloc(test_length);
82 clearbits(bs, test_length);
85 for (i=0; i < test_length; i++)
88 printbits(file, bs, test_length);
91 for (i=0; i < test_length; i+=3)
94 for (i=0; i < test_length; i++)
97 printbits(file, bs, test_length);
100 for (i=0; i < test_length; i+=6)
103 for (i=0; i < test_length; i++)
106 printbits(file, bs, test_length);
110 for (i=0; i < test_length; i++)
113 clearbits(bs, test_length);
116 for (i=0; i < test_length; i++)
119 printbits(file, bs, test_length);
122 bit_nset(bs, 1, test_length - 2);
124 for (i=0; i < test_length - 2; i++)
127 printbits(file, bs, test_length);
129 bit_nclear(bs, 2, test_length - 3);
131 for (i=0; i < test_length - 4; i++)
134 printbits(file, bs, test_length);
136 bit_nclear(bs, 0, test_length - 1);
138 for (i=0; i < test_length; i++)
141 printbits(file, bs, test_length);
142 bit_nset(bs, 0, test_length - 2);
143 (void) fprintf(file, "be: %3d 0 ",test_length - 1);
144 for (i=0; i < test_length - 1; i++)
148 printbits(file, bs, test_length);
149 bit_nclear(bs, 0, test_length - 1);
151 for (i=0; i < test_length; i++)
154 printbits(file, bs, test_length);
158 for (i=0; i < test_length; i++) {
159 bit_nclear(bs, 0, test_length - 1);
160 bit_nset(bs, i, test_length - 1);
161 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
166 for (i=0; i < test_length; i++) {
167 bit_nset(bs, 0, test_length - 1);
168 bit_nclear(bs, i, test_length - 1);
169 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
174 for (i=0; i < test_length; i++) {
175 bit_nclear(bs, 0, test_length - 1);
176 bit_nset(bs, 0, test_length - 1 - i);
177 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
182 for (i=0; i < test_length; i++) {
183 bit_nset(bs, 0, test_length - 1);
184 bit_nclear(bs, 0, test_length - 1 - i);
185 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
190 for (i=0; i < test_length; i++) {
191 bit_nset(bs, 0, test_length - 1);
193 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
198 for (i=0; i < test_length; i++) {
199 bit_nclear(bs, 0, test_length - 1);
201 (void) fprintf(file, "%3d ", i); printbits(file, bs, test_length);
208 one_check(const atf_tc_t *tc, const int test_length)
214 calculate_data(out, test_length);
222 atf_tc_get_config_var(tc, "srcdir"), test_length);