version 1.1, 2010/07/17 19:26:27 |
version 1.2, 2010/11/03 16:10:20 |
Line 63 printbits(FILE *file, bitstr_t *b, int n |
|
Line 63 printbits(FILE *file, bitstr_t *b, int n |
|
static void |
static void |
calculate_data(FILE *file, const int test_length) |
calculate_data(FILE *file, const int test_length) |
{ |
{ |
int b, i; |
int i; |
bitstr_t *bs; |
bitstr_t *bs; |
bitstr_t bit_decl(bss, 37); /* Mostly a random number. */ |
|
|
|
assert(test_length >= 4); |
assert(test_length >= 4); |
|
|
Line 75 calculate_data(FILE *file, const int tes |
|
Line 74 calculate_data(FILE *file, const int tes |
|
(void) fprintf(file, " i _bit_byte(i) _bit_mask(i) bitstr_size(i)\n"); |
(void) fprintf(file, " i _bit_byte(i) _bit_mask(i) bitstr_size(i)\n"); |
|
|
for (i=0; i < test_length; i++) { |
for (i=0; i < test_length; i++) { |
(void) fprintf(file, "%3d%15d%15d%15d\n", |
(void) fprintf(file, "%3d%15u%15u%15zu\n", |
i, _bit_byte(i), _bit_mask(i), bitstr_size(i)); |
i, _bit_byte(i), _bit_mask(i), bitstr_size(i)); |
} |
} |
|
|
Line 205 calculate_data(FILE *file, const int tes |
|
Line 204 calculate_data(FILE *file, const int tes |
|
(void) free(bs); |
(void) free(bs); |
} |
} |
|
|
void |
static void |
one_check(const atf_tc_t *tc, const int test_length) |
one_check(const atf_tc_t *tc, const int test_length) |
{ |
{ |
FILE *out; |
FILE *out; |