WIP: run mlkem_tests on Windows

Author: botovq

.gitignore

@@ -117,7 +117,7 @@ tests/freenull*
 tests/gost2814789t*
 tests/key_schedule*
 tests/lhash_test*
-tests/mlkem*
+#tests/mlkem*
 tests/mont*
 tests/parse*
 tests/policy*

tests/CMakeLists.txt

@@ -566,11 +566,12 @@ endif()
 add_executable(mlkem_tests mlkem_tests.c parse_test_file.c)
 target_link_libraries(mlkem_tests ${OPENSSL_TEST_LIBS})
 prepare_emscripten_test_target(mlkem_tests)
-if(NOT WIN32)
+if(NOT MSVC)
 	add_test(NAME mlkem_tests COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/mlkem_tests.sh)
 	set_tests_properties(mlkem_tests PROPERTIES ENVIRONMENT "srcdir=${TEST_SOURCE_DIR}")
+else()
+	add_test(NAME mlkem_tests COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/mlkem_tests.bat $<TARGET_FILE:mlkem_tests>)
 endif()
-# XXX - add tests for Windows
 
 # mlkem_iteration_tests
 add_executable(mlkem_iteration_tests mlkem_iteration_tests.c mlkem_tests_util.c)

tests/Makefile.am

@@ -578,7 +578,7 @@ noinst_HEADERS += parse_test_file.h
 TESTS += mlkem_tests.sh
 check_PROGRAMS += mlkem_tests
 mlkem_tests_SOURCES = mlkem_tests.c parse_test_file.c
-EXTRA_DIST += mlkem_tests.sh
+EXTRA_DIST += mlkem_tests.sh mlkem_tests.bat
 EXTRA_DIST += mlkem768_decap_tests.txt
 EXTRA_DIST += mlkem768_encap_tests.txt
 EXTRA_DIST += mlkem768_keygen_tests.txt
@@ -589,7 +589,6 @@ EXTRA_DIST += mlkem1024_encap_tests.txt
 EXTRA_DIST += mlkem1024_keygen_tests.txt
 EXTRA_DIST += mlkem1024_nist_decap_tests.txt
 EXTRA_DIST += mlkem1024_nist_keygen_tests.txt
-# XXX - add tests for Windows
 
 # mlkem_iteration_tests
 TESTS += mlkem_iteration_tests

tests/mlkem_tests.bat

@@ -0,0 +1,63 @@
+@echo off
+setlocal enabledelayedexpansion
+
+:: Copyright (c) 2025 Theo Beuhler
+::
+:: Permission to use, copy, modify, and distribute this software for any
+:: purpose with or without fee is hereby granted, provided that the above
+:: copyright notice and this permission notice appear in all copies.
+::
+:: THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+:: WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+:: MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
+:: ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+:: WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
+:: ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
+:: OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
+
+set mlkem_tests_bin=%1
+set mlkem_tests_bin=%mlkem_tests_bin:/=\%
+if not exist %mlkem_tests_bin% exit /b 1
+
+%mlkem_tests_bin% mlkem768_decap_tests		%srcdir%\mlkem768_decap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem768_encap_tests		%srcdir%\mlkem768_encap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem768_keygen_tests		%srcdir%\mlkem768_keygen_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem768_nist_decap_tests	%srcdir%\mlkem768_nist_decap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem768_nist_keygen_tests	%srcdir%\mlkem768_nist_keygen_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem1024_decap_tests		%srcdir%\mlkem1024_decap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem1024_encap_tests		%srcdir%\mlkem1024_encap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem1024_keygen_tests	%srcdir%\mlkem1024_keygen_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem1024_nist_decap_tests	%srcdir%\mlkem1024_nist_decap_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+%mlkem_tests_bin% mlkem1024_nist_keygen_tests	%srcdir%\mlkem1024_nist_keygen_tests.txt
+if !errorlevel! neq 0 (
+	exit /b 1
+)
+
+endlocal