update

tests/Makefile.am

@@ -546,58 +546,62 @@ md_test_SOURCES = md_test.c
 
 noinst_HEADERS += mlkem_tests_util.h
 
-EXTRA_DIST += mlkemtest.sh
-
 # mlkem1024_decap_tests
-TESTS += mlkemtest.sh
+TESTS += mlkem1024_decap_tests.sh
 check_PROGRAMS += mlkem1024_decap_tests
 mlkem1024_decap_tests_SOURCES = mlkem1024_decap_tests.c mlkem_tests_util.c
-EXTRA_DIST += mlkem1024_decap_tests.txt
+EXTRA_DIST += mlkem1024_decap_tests.sh
 
 # mlkem1024_encap_tests
-TESTS += mlkem1024_encap_tests
+TESTS += mlkem1024_encap_tests.sh
 check_PROGRAMS += mlkem1024_encap_tests
 mlkem1024_encap_tests_SOURCES = mlkem1024_encap_tests.c mlkem_tests_util.c
-EXTRA_DIST += mlkem1024_encap_tests.txt
+EXTRA_DIST += mlkem1024_encap_tests.sh
 
-TESTS += mlkem1024_keygen_tests
+TESTS += mlkem1024_keygen_tests.sh
 check_PROGRAMS += mlkem1024_keygen_tests
 mlkem1024_keygen_tests_SOURCES = mlkem1024_keygen_tests.c mlkem_tests_util.c
-EXTRA_DIST += mlkem1024_keygen_tests.txt
+EXTRA_DIST += mlkem1024_keygen_tests.sh
 
-TESTS += mlkem1024_nist_decap_tests
+TESTS += mlkem1024_nist_decap_tests.sh
 check_PROGRAMS += mlkem1024_nist_decap_tests
 mlkem1024_nist_decap_tests_SOURCES = mlkem1024_nist_decap_tests.c mlkem_tests_util.c
-EXTRA_DIST += mlkem1024_nist_decap_tests.txt
+EXTRA_DIST += mlkem1024_nist_decap_tests.sh
 
-TESTS += mlkem1024_nist_keygen_tests
+TESTS += mlkem1024_nist_keygen_tests.sh
 check_PROGRAMS += mlkem1024_nist_keygen_tests
 mlkem1024_nist_keygen_tests_SOURCES = mlkem1024_nist_keygen_tests.c mlkem_tests_util.c
-EXTRA_DIST += mlkem1024_nist_keygen_tests.txt
+EXTRA_DIST += mlkem1024_nist_keygen_tests.sh
 
-TESTS += mlkem768_decap_tests
+TESTS += mlkem768_decap_tests.sh
 check_PROGRAMS += mlkem768_decap_tests
 mlkem768_decap_tests_SOURCES = mlkem768_decap_tests.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_decap_tests.sh
 
-TESTS += mlkem768_encap_tests
+TESTS += mlkem768_encap_tests.sh
 check_PROGRAMS += mlkem768_encap_tests
 mlkem768_encap_tests_SOURCES = mlkem768_encap_tests.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_encap_tests.sh
 
-TESTS += mlkem768_iteration_test
+TESTS += mlkem768_iteration_test.sh
 check_PROGRAMS += mlkem768_iteration_test
 mlkem768_iteration_test_SOURCES = mlkem768_iteration_test.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_iteration_test.sh
 
-TESTS += mlkem768_keygen_tests
+TESTS += mlkem768_keygen_tests.sh
 check_PROGRAMS += mlkem768_keygen_tests
 mlkem768_keygen_tests_SOURCES = mlkem768_keygen_tests.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_keygen_tests.sh
 
-TESTS += mlkem768_nist_decap_tests
+TESTS += mlkem768_nist_decap_tests.sh
 check_PROGRAMS += mlkem768_nist_decap_tests
 mlkem768_nist_decap_tests_SOURCES = mlkem768_nist_decap_tests.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_nist_decap_tests.sh
 
-TESTS += mlkem768_nist_keygen_tests
+TESTS += mlkem768_nist_keygen_tests.sh
 check_PROGRAMS += mlkem768_nist_keygen_tests
 mlkem768_nist_keygen_tests_SOURCES = mlkem768_nist_keygen_tests.c mlkem_tests_util.c
+EXTRA_DIST += mlkem768_nist_keygen_tests.sh
 
 # objectstest
 TESTS += objectstest

tests/mlkem1024_encap_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem1024_encap_tests
+if [ -e ./mlkem1024_encap_tests.exe ]; then
+	TEST=./mlkem1024_encap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem1024_encap_tests.txt

tests/mlkem1024_iteration_test.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem1024_decap_tests
+if [ -e ./mlkem1024_decap_tests.exe ]; then
+	TEST=./mlkem1024_decap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem1024_decap_tests.txt

tests/mlkem1024_keygen_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem1024_keygen_tests
+if [ -e ./mlkem1024_keygen_tests.exe ]; then
+	TEST=./mlkem1024_keygen_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem1024_keygen_tests.txt

tests/mlkem1024_nist_decap_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem1024_nist_decap_tests
+if [ -e ./mlkem1024_nist_decap_tests.exe ]; then
+	TEST=./mlkem1024_nist_decap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem1024_nist_decap_tests.txt

tests/mlkem1024_nist_keygen_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem1024_nist_keygen_tests
+if [ -e ./mlkem1024_nist_keygen_tests.exe ]; then
+	TEST=./mlkem1024_nist_keygen_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem1024_nist_keygen_tests.txt

tests/mlkem768_decap_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem768_decap_tests
+if [ -e ./mlkem768_decap_tests.exe ]; then
+	TEST=./mlkem768_decap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem768_decap_tests.txt

tests/mlkem768_encap_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem768_encap_tests
+if [ -e ./mlkem768_encap_tests.exe ]; then
+	TEST=./mlkem768_encap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem768_encap_tests.txt

tests/mlkem768_iteration_test.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem768_iteration_tests
+if [ -e ./mlkem768_iteration_tests.exe ]; then
+	TEST=./mlkem768_iteration_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem768_iteration_tests.txt

tests/mlkem768_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

tests/mlkem768_nist_decap_tests.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+set -e
+TEST=./mlkem768_nist_decap_tests
+if [ -e ./mlkem768_nist_decap_tests.exe ]; then
+	TEST=./mlkem768_nist_decap_tests.exe
+fi
+
+if [ -z $srcdir ]; then
+	srcdir=.
+fi
+
+$TEST $srcdir/mlkem768_nist_decap_tests.txt

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