From df4319c47f0fdbf155a19baeb004ebb6832690d8 Mon Sep 17 00:00:00 2001
From: "Matthias J. Kannwischer" <matthias@kannwischer.eu>
Date: Tue, 21 May 2019 15:58:20 +0200
Subject: [PATCH] add duplicate consistency check

---
 test/duplicate_consistency/frodokem640aes_opt.yml   | 11 +++++++++++
 test/duplicate_consistency/frodokem640shake_opt.yml | 11 +++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 test/duplicate_consistency/frodokem640aes_opt.yml
 create mode 100644 test/duplicate_consistency/frodokem640shake_opt.yml

diff --git a/test/duplicate_consistency/frodokem640aes_opt.yml b/test/duplicate_consistency/frodokem640aes_opt.yml
new file mode 100644
index 00000000..6f2a554f
--- /dev/null
+++ b/test/duplicate_consistency/frodokem640aes_opt.yml
@@ -0,0 +1,11 @@
+consistency_checks:
+- source:
+    scheme: frodokem640aes
+    implementation: clean
+  files:
+    - api.h
+    - common.h
+    - params.h
+    - kem.c
+    - noise.c
+    - util.c
diff --git a/test/duplicate_consistency/frodokem640shake_opt.yml b/test/duplicate_consistency/frodokem640shake_opt.yml
new file mode 100644
index 00000000..a3aa6115
--- /dev/null
+++ b/test/duplicate_consistency/frodokem640shake_opt.yml
@@ -0,0 +1,11 @@
+consistency_checks:
+- source:
+    scheme: frodokem640shake
+    implementation: clean
+  files:
+    - api.h
+    - common.h
+    - params.h
+    - kem.c
+    - noise.c
+    - util.c