| Werner Lewis | 0c6ea12 | 2022-09-30 13:02:16 +0100 | [diff] [blame^] | 1 | Test mbedtls_mpi_mod_setup #1 (Both representations invalid) |
| 2 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_INVALID:MBEDTLS_MPI_MOD_REP_INVALID:MBEDTLS_ERR_MPI_BAD_INPUT_DATA |
| 3 | |
| 4 | Test mbedtls_mpi_mod_setup #2 (Internal representation invalid) |
| 5 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_LE:MBEDTLS_MPI_MOD_REP_INVALID:MBEDTLS_ERR_MPI_BAD_INPUT_DATA |
| 6 | |
| 7 | Test mbedtls_mpi_mod_setup #3 (Internal representation invalid) |
| 8 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_BE:MBEDTLS_MPI_MOD_REP_INVALID:MBEDTLS_ERR_MPI_BAD_INPUT_DATA |
| 9 | |
| 10 | Test mbedtls_mpi_mod_setup #4 (External representation invalid) |
| 11 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_INVALID:MBEDTLS_MPI_MOD_REP_MONTGOMERY:MBEDTLS_ERR_MPI_BAD_INPUT_DATA |
| 12 | |
| 13 | Test mbedtls_mpi_mod_setup #5 (External representation invalid) |
| 14 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_INVALID:MBEDTLS_MPI_MOD_REP_OPT_RED:MBEDTLS_ERR_MPI_BAD_INPUT_DATA |
| 15 | |
| 16 | Test mbedtls_mpi_mod_setup #6 (Both representations valid) |
| 17 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_BE:MBEDTLS_MPI_MOD_REP_OPT_RED:0 |
| 18 | |
| 19 | Test mbedtls_mpi_mod_setup #7 (Both representations valid) |
| 20 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_BE:MBEDTLS_MPI_MOD_REP_MONTGOMERY:0 |
| 21 | |
| 22 | Test mbedtls_mpi_mod_setup #8 (Both representations valid) |
| 23 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_LE:MBEDTLS_MPI_MOD_REP_OPT_RED:0 |
| 24 | |
| 25 | Test mbedtls_mpi_mod_setup #9 (Both representations valid) |
| 26 | mpi_mod_setup:MBEDTLS_MPI_MOD_EXT_REP_LE:MBEDTLS_MPI_MOD_REP_MONTGOMERY:0 |
| 27 | |
| 28 | Base test mbedtls_mpi_mod_mpi #1 |
| 29 | mpi_mod_mpi:"3e8":"d":"c":0 |
| 30 | |
| 31 | Base test mbedtls_mpi_mod_mpi #2 (Divide by zero (null)) |
| 32 | mpi_mod_mpi:"3e8":"":"0":MBEDTLS_ERR_MPI_DIVISION_BY_ZERO |
| 33 | |
| 34 | Base test mbedtls_mpi_mod_mpi #2 (Divide by zero (1 limb)) |
| 35 | mpi_mod_mpi:"3e8":"0":"0":MBEDTLS_ERR_MPI_DIVISION_BY_ZERO |
| 36 | |
| 37 | Base test mbedtls_mpi_mod_mpi #3 |
| 38 | mpi_mod_mpi:"-3e8":"d":"1":0 |
| 39 | |
| 40 | Base test mbedtls_mpi_mod_mpi #4 (Negative modulo) |
| 41 | mpi_mod_mpi:"3e8":"-d":"-1":MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 42 | |
| 43 | Base test mbedtls_mpi_mod_mpi #5 (Negative modulo) |
| 44 | mpi_mod_mpi:"-3e8":"-d":"-c":MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 45 | |
| 46 | Test mbedtls_mpi_mod_mpi: 0 (null) % 1 |
| 47 | mpi_mod_mpi:"":"1":"":0 |
| 48 | |
| 49 | Test mbedtls_mpi_mod_mpi: 0 (null) % -1 |
| 50 | mpi_mod_mpi:"":"-1":"":MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 51 | |
| 52 | Base test mbedtls_mpi_mod_int #1 |
| 53 | mpi_mod_int:"3e8":13:12:0 |
| 54 | |
| 55 | Base test mbedtls_mpi_mod_int #2 (Divide by zero) |
| 56 | mpi_mod_int:"3e8":0:0:MBEDTLS_ERR_MPI_DIVISION_BY_ZERO |
| 57 | |
| 58 | Base test mbedtls_mpi_mod_int #3 |
| 59 | mpi_mod_int:"-3e8":13:1:0 |
| 60 | |
| 61 | Base test mbedtls_mpi_mod_int #4 (Negative modulo) |
| 62 | mpi_mod_int:"3e8":-13:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 63 | |
| 64 | Base test mbedtls_mpi_mod_int #5 (Negative modulo) |
| 65 | mpi_mod_int:"-3e8":-13:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 66 | |
| 67 | Base test mbedtls_mpi_mod_int #6 (By 1) |
| 68 | mpi_mod_int:"3e8":1:0:0 |
| 69 | |
| 70 | Base test mbedtls_mpi_mod_int #7 (By 2) |
| 71 | mpi_mod_int:"3e9":2:1:0 |
| 72 | |
| 73 | Base test mbedtls_mpi_mod_int #8 (By 2) |
| 74 | mpi_mod_int:"3e8":2:0:0 |
| 75 | |
| 76 | Test mbedtls_mpi_mod_int: 0 (null) % 1 |
| 77 | mpi_mod_int:"":1:0:0 |
| 78 | |
| 79 | Test mbedtls_mpi_mod_int: 0 (null) % 2 |
| 80 | mpi_mod_int:"":2:0:0 |
| 81 | |
| 82 | Test mbedtls_mpi_mod_int: 0 (null) % -1 |
| 83 | mpi_mod_int:"":-1:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE |
| 84 | |
| 85 | Test mbedtls_mpi_mod_int: 0 (null) % -2 |
| 86 | mpi_mod_int:"":-2:0:MBEDTLS_ERR_MPI_NEGATIVE_VALUE |