1 files changed, 12 insertions, 0 deletions

diff --git a/tests/mlkem768_nist_keygen_tests.sh b/tests/mlkem768_nist_keygen_tests.sh
new file mode 100755
index 0000000..0c84709
--- /dev/null
+++ b/tests/mlkem768_nist_keygen_tests.sh
@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem768_keygen_tests
+if [ -e ./mlkem768_keygen_tests.exe ]; then
+        TEST=./mlkem768_keygen_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+        srcdir=.
+fi
+
+$TEST $srcdir/mlkem768_keygen_tests.txt