diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 11:08:09 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 11:08:09 +0100 |
commit | 3e6decf91e07646e137cff11cb31c87ced574467 (patch) | |
tree | e4e50a8f0f3c378658d5fb204dd41322b73a2953 /test/monniaux/bitsliced-aes/main.c | |
parent | 07f94da073dede202ff88f3893f15828243b44a3 (diff) | |
download | compcert-kvx-3e6decf91e07646e137cff11cb31c87ced574467.tar.gz compcert-kvx-3e6decf91e07646e137cff11cb31c87ced574467.zip |
https://github.com/conorpp/bitsliced-aes
Diffstat (limited to 'test/monniaux/bitsliced-aes/main.c')
-rw-r--r-- | test/monniaux/bitsliced-aes/main.c | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/monniaux/bitsliced-aes/main.c b/test/monniaux/bitsliced-aes/main.c new file mode 100644 index 00000000..0ceb8ab2 --- /dev/null +++ b/test/monniaux/bitsliced-aes/main.c @@ -0,0 +1,40 @@ +/*#include <stdio.h>*/ +#include <stdlib.h> +#include <string.h> +#include "bs.h" +#include "aes.h" +#include "utils.h" + +#include "testbench/app.h" +#ifdef RUN_TESTS +#include "tests/tests.h" +#endif + +#ifdef TEST_FOOTPRINT +#define printf(fmt, ...) (0) +#define fprintf(f,fmt, ...) (0) +#else +#include <stdio.h> +#endif + +int main(int argc, char * argv[]) +{ + +#ifdef RUN_TESTS +#ifndef TEST_FOOTPRINT + aes_ecb_test(); +#endif + aes_ctr_test(); + +#else + + cli_app(argc,argv); + +#endif + + + + return 0; +} + + |