From 555b1f7e44480a6231a69328daf0e97ba2e2219c Mon Sep 17 00:00:00 2001 From: Gabor Mezei Date: Wed, 15 Feb 2023 17:13:20 +0100 Subject: [PATCH] Add check for test Check the bit length of the output of ecp_mod_p521_raw. Signed-off-by: Gabor Mezei --- tests/suites/test_suite_ecp.function | 1 + 1 file changed, 1 insertion(+) diff --git a/tests/suites/test_suite_ecp.function b/tests/suites/test_suite_ecp.function index 212dfcbf9..4e74d9b8e 100644 --- a/tests/suites/test_suite_ecp.function +++ b/tests/suites/test_suite_ecp.function @@ -1375,6 +1375,7 @@ void ecp_mod_p521_raw(char *input_N, MBEDTLS_MPI_MOD_REP_MONTGOMERY), 0); TEST_EQUAL(mbedtls_ecp_mod_p521_raw(X, limbs_X), 0); + TEST_LE_U(mbedtls_mpi_core_bitlen(X, limbs_X), 522); mbedtls_mpi_mod_raw_fix_quasi_reduction(X, &m); ASSERT_COMPARE(X, bytes, res, bytes);