diff --git a/tests/suites/test_suite_mpi.data b/tests/suites/test_suite_mpi.data index ff25a6fcc..8b5f97d38 100644 --- a/tests/suites/test_suite_mpi.data +++ b/tests/suites/test_suite_mpi.data @@ -1,4 +1,7 @@ -Parameter validation +MPI - Valid parameters +mpi_valid_param: + +MPI - Invalid parameters mpi_invalid_param: Arguments with no value diff --git a/tests/suites/test_suite_mpi.function b/tests/suites/test_suite_mpi.function index d5bb6a7b9..63e0e9715 100644 --- a/tests/suites/test_suite_mpi.function +++ b/tests/suites/test_suite_mpi.function @@ -50,6 +50,13 @@ int mbedtls_test_mpi_miller_rabin_determinizer( void* state, * END_DEPENDENCIES */ +/* BEGIN_CASE */ +void mpi_valid_param( ) +{ + TEST_VALID_PARAM( mbedtls_mpi_free( NULL ) ); +} +/* END_CASE */ + /* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */ void mpi_invalid_param( ) { @@ -62,7 +69,6 @@ void mpi_invalid_param( ) mbedtls_mpi_uint mpi_uint; TEST_INVALID_PARAM( mbedtls_mpi_init( NULL ) ); - TEST_VALID_PARAM( mbedtls_mpi_free( NULL ) ); TEST_INVALID_PARAM_RET( MBEDTLS_ERR_MPI_BAD_INPUT_DATA, mbedtls_mpi_grow( NULL, 42 ) );