Merge remote-tracking branch 'origin/master' into fix-vhdltbc

1 files changed, 27 insertions, 0 deletions

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