mirror of
https://github.com/Mbed-TLS/mbedtls.git
synced 2025-03-29 22:20:30 +00:00
Add check for test
Check the bit length of the output of ecp_mod_p521_raw. Signed-off-by: Gabor Mezei <gabor.mezei@arm.com>
This commit is contained in:
parent
2b064ec332
commit
555b1f7e44
@ -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);
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user