From e543aea8ea1d71734c7c1caeac50edbf93f530c1 Mon Sep 17 00:00:00 2001
From: "Matthias J. Kannwischer" <matthias@kannwischer.eu>
Date: Thu, 20 Jun 2019 11:09:49 +0200
Subject: [PATCH] add duplicate consistency checks for saber

---
 .../duplicate_consistency/firesaber_clean.yml | 31 +++++++++++++++++++
 .../lightsaber_clean.yml                      | 31 +++++++++++++++++++
 test/duplicate_consistency/saber_clean.yml    | 31 +++++++++++++++++++
 3 files changed, 93 insertions(+)
 create mode 100644 test/duplicate_consistency/firesaber_clean.yml
 create mode 100644 test/duplicate_consistency/lightsaber_clean.yml
 create mode 100644 test/duplicate_consistency/saber_clean.yml

diff --git a/test/duplicate_consistency/firesaber_clean.yml b/test/duplicate_consistency/firesaber_clean.yml
new file mode 100644
index 00000000..60a1a153
--- /dev/null
+++ b/test/duplicate_consistency/firesaber_clean.yml
@@ -0,0 +1,31 @@
+consistency_checks:
+- source:
+    scheme: lightsaber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h 
+- source:
+    scheme: saber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h 
diff --git a/test/duplicate_consistency/lightsaber_clean.yml b/test/duplicate_consistency/lightsaber_clean.yml
new file mode 100644
index 00000000..a4d483be
--- /dev/null
+++ b/test/duplicate_consistency/lightsaber_clean.yml
@@ -0,0 +1,31 @@
+consistency_checks:
+- source:
+    scheme: saber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h 
+- source:
+    scheme: firesaber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h 
diff --git a/test/duplicate_consistency/saber_clean.yml b/test/duplicate_consistency/saber_clean.yml
new file mode 100644
index 00000000..0e1b89dd
--- /dev/null
+++ b/test/duplicate_consistency/saber_clean.yml
@@ -0,0 +1,31 @@
+consistency_checks:
+- source:
+    scheme: lightsaber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h 
+- source:
+    scheme: firesaber
+    implementation: clean
+  files:
+    - cbd.h
+    - kem.c
+    - pack_unpack.c
+    - pack_unpack.h
+    - poly.c
+    - poly.h
+    - poly_mul.c
+    - poly_mul.h
+    - SABER_indcpa.h
+    - verify.c
+    - verify.h