1 files changed, 20 insertions, 0 deletions
diff --git a/test/monniaux/bitsliced-aes/one_file/reduce/bitsliced-aes_main.c b/test/monniaux/bitsliced-aes/one_file/reduce/bitsliced-aes_main.c
new file mode 100644
index 00000000..0d48b3b8
--- /dev/null
+++ b/test/monniaux/bitsliced-aes/one_file/reduce/bitsliced-aes_main.c
@@ -0,0 +1,20 @@
+#include "/home/monniaux/work/Kalray/CompCert/test/monniaux/clock.h"
+
+void aes_ecb_test(void);
+void aes_ctr_test(void);
+
+int main(int argc, char * argv[])
+{
+  clock_prepare();
+  
+    clock_start();
+  
+    aes_ecb_test();
+    aes_ctr_test();
+
+
+    clock_stop();
+    print_total_clock();
+    
+    return 0;
+}