commit 38de7ee176a38a1f75f6d8aeb739e08291cddea1
author Gilles Peskine <Gilles.Peskine@arm.com> Tue Apr 13 20:47:07 2021 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Wed Jun 02 21:39:30 2021 +0200
tree 73ca74b9aaeecd9a49a6cfd8ddbdfcd1f482954c
parent c520d7ab59fd5a11ec005a9a0c02274662fcf184

MPI random test: Add test cases with lower_bound > upper_bound

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>

tests/suites/test_suite_mpi.data

diff --git a/tests/suites/test_suite_mpi.data b/tests/suites/test_suite_mpi.data
index cf25e27..66339c9 100644
--- a/tests/suites/test_suite_mpi.data
+++ b/tests/suites/test_suite_mpi.data
@@ -1219,6 +1219,15 @@
 MPI random bad arguments: min = N = 1
 mpi_random_fail:1:"01":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
 
+MPI random bad arguments: min > N = 0
+mpi_random_fail:1:"00":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
+
+MPI random bad arguments: min > N = 1
+mpi_random_fail:2:"01":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
+
+MPI random bad arguments: min > N = 001
+mpi_random_fail:2:"000000000000000001":MBEDTLS_ERR_MPI_BAD_INPUT_DATA
+
 MPI Selftest
 depends_on:MBEDTLS_SELF_TEST
 mpi_selftest: