tests/mlkem1024_nist_keygen_tests.sh


1
2
3
4
5
6
7
8
9
10
11
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