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 | |
parent | db2be07620492d586d3e8993a745b58e39f71d75 (diff) | |
download | compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.tar.gz compcert-kvx-d9e66c1e1fda350a5714316ffb2a515835fa974a.zip |
fixes in types etc.
Diffstat (limited to 'test/monniaux/bitsliced-aes')
-rw-r--r-- | test/monniaux/bitsliced-aes/main.c | 2 | ||||
-rw-r--r-- | test/monniaux/bitsliced-aes/tests/tests.c | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/bitsliced-aes/main.c b/test/monniaux/bitsliced-aes/main.c index 5c730308..96d545ae 100644 --- a/test/monniaux/bitsliced-aes/main.c +++ b/test/monniaux/bitsliced-aes/main.c @@ -20,6 +20,8 @@ int main(int argc, char * argv[]) { + clock_prepare(); + clock_start(); #ifdef RUN_TESTS 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 |