diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 08:02:39 +0100 |
commit | d9e66c1e1fda350a5714316ffb2a515835fa974a (patch) | |
tree | 3323557971e9082dbf391c0e1c31f94da2ac1279 /test/monniaux/bitsliced-aes/tests | |
parent | db2be07620492d586d3e8993a745b58e39f71d75 (diff) | |
download | compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.tar.gz compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.zip |
fixes in types etc.
Diffstat (limited to 'test/monniaux/bitsliced-aes/tests')
-rw-r--r-- | test/monniaux/bitsliced-aes/tests/tests.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/monniaux/bitsliced-aes/tests/tests.c b/test/monniaux/bitsliced-aes/tests/tests.c index d3e464f7..d9218685 100644 --- a/test/monniaux/bitsliced-aes/tests/tests.c +++ b/test/monniaux/bitsliced-aes/tests/tests.c @@ -88,16 +88,14 @@ void aes_ctr_test() printf("plain text: \n"); dump_hex(input,AES_CTR_TESTS_BYTES); - FILE *err = fdopen(2, "w"); - if (memcmp(pt_vector, input, AES_CTR_TESTS_BYTES) != 0) { - fprintf(err,"error: decrypted ciphertext is not the same as the input plaintext\n"); + fprintf(stderr,"error: decrypted ciphertext is not the same as the input plaintext\n"); exit(1); } else if (memcmp(ct_vector, output, AES_CTR_TESTS_BYTES) != 0) { - fprintf(err,"error: ciphertext is not the same as the test vector\n"); + fprintf(stderr,"error: ciphertext is not the same as the test vector\n"); exit(1); } else |