tests/mlkem1024_iteration_test.sh


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