From 607a7f94f90ef2963e242674eaf9f74b590bdb6c Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Fri, 5 Jul 2019 10:34:16 +0200
Subject: Ajout d'un script de vérification plus exhaustif
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 test/check-all.sh | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100755 test/check-all.sh

(limited to 'test/check-all.sh')

diff --git a/test/check-all.sh b/test/check-all.sh
new file mode 100755
index 0000000..e59b98c
--- /dev/null
+++ b/test/check-all.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+set -eux
+
+run ()
+{
+    make clean
+    "$@"
+}
+
+add_implems=(src/add_felicsref src/add_tweakeyloop src/add_threshold)
+
+for implem in ref ${add_implems[@]}
+do
+    run make test IMPLEMENTATION=$(basename $implem)
+done
+
+run make traces
+run make traces IMPLEMENTATION=add_threshold
+
+for implem in ${add_implems[@]}
+do
+    run ./test/check-implementation.sh $(basename $implem)
+done
+
+run make nist
+./test/python.sh
-- 
cgit v1.2.3