aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-aes
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-02 08:02:39 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-02 08:02:39 +0100
commitd9e66c1e1fda350a5714316ffb2a515835fa974a (patch)
tree3323557971e9082dbf391c0e1c31f94da2ac1279 /test/monniaux/bitsliced-aes
parentdb2be07620492d586d3e8993a745b58e39f71d75 (diff)
downloadcompcert-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.c2
-rw-r--r--test/monniaux/bitsliced-aes/tests/tests.c6
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