lib/mbedtls
1
0
Fork 0
mirror of https://github.com/Mbed-TLS/mbedtls.git synced 2025-10-23 01:52:40 +03:00
Code Activity

Expand testing for mbedtls_mpi_inv_mod() again

Browse Source 
In the next refactoring we'll have:
- pretty different paths for N odd or even,
- possibly different paths for A <= 0, in [0, N) or above,
- possibly special cases when A % N is 0 or 1.

Pick two small moduli of different parities (3 and 4)
and go over the range [-(N+1), 2N-1] with A.
This should ensure we naturally run into all special cases.

Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com>
This commit is contained in:
Manuel Pégourié-Gonnard
2025-08-07 12:44:11 +02:00
parent 246d86b941
commit 00076b4907
1 changed files with 69 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

69
tests/suites/test_suite_bignum.misc.data
View File

@@ -1525,6 +1525,75 @@ mpi_gcd:"-9986dabb54d13cd9fe0d9da594a97e8372ab26ed98ff622b31b1ea42e3a265019039ac
Base test mbedtls_mpi_inv_mod #1 Base test mbedtls_mpi_inv_mod #1
mpi_inv_mod:"3":"b":"4":0 mpi_inv_mod:"3":"b":"4":0
Base test mbedtls_mpi_inv_mod: 0 mod 3
mpi_inv_mod:"0":"3":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 1 mod 3
mpi_inv_mod:"1":"3":"1":0
Base test mbedtls_mpi_inv_mod: 2 mod 3
mpi_inv_mod:"2":"3":"2":0
Base test mbedtls_mpi_inv_mod: 3 mod 3
mpi_inv_mod:"0":"3":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 4 mod 3
mpi_inv_mod:"4":"3":"1":0
Base test mbedtls_mpi_inv_mod: 5 mod 3
mpi_inv_mod:"5":"3":"2":0
Base test mbedtls_mpi_inv_mod: -1 mod 3
mpi_inv_mod:"-1":"3":"2":0
Base test mbedtls_mpi_inv_mod: -2 mod 3
mpi_inv_mod:"-2":"3":"1":0
Base test mbedtls_mpi_inv_mod: -3 mod 3
mpi_inv_mod:"-3":"3":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: -4 mod 3
mpi_inv_mod:"-4":"3":"2":0
Base test mbedtls_mpi_inv_mod: 0 mod 4
mpi_inv_mod:"0":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 1 mod 4
mpi_inv_mod:"1":"4":"1":0
Base test mbedtls_mpi_inv_mod: 2 mod 4
mpi_inv_mod:"2":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 3 mod 4
mpi_inv_mod:"3":"4":"3":0
Base test mbedtls_mpi_inv_mod: 4 mod 4
mpi_inv_mod:"4":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 5 mod 4
mpi_inv_mod:"5":"4":"1":0
Base test mbedtls_mpi_inv_mod: 6 mod 4
mpi_inv_mod:"6":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: 7 mod 4
mpi_inv_mod:"7":"4":"3":0
Base test mbedtls_mpi_inv_mod: -1 mod 4
mpi_inv_mod:"-1":"4":"3":0
Base test mbedtls_mpi_inv_mod: -2 mod 4
mpi_inv_mod:"-2":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: -3 mod 4
mpi_inv_mod:"-3":"4":"1":0
Base test mbedtls_mpi_inv_mod: -4 mod 4
mpi_inv_mod:"-4":"4":"":MBEDTLS_ERR_MPI_NOT_ACCEPTABLE
Base test mbedtls_mpi_inv_mod: -5 mod 4
mpi_inv_mod:"-5":"4":"3":0
Test mbedtls_mpi_inv_mod: mod 0 (null) Test mbedtls_mpi_inv_mod: mod 0 (null)
mpi_inv_mod:"3":"":"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA mpi_inv_mod:"3":"":"0":MBEDTLS_ERR_MPI_BAD_INPUT_DATA