4 commits

Author	SHA1	Message	Date
Gilles Peskine	ca6e8aac58	Support negative zero as MPI test input ... The bignum module does not officially support "negative zero" (an mbedtls_mpi object with s=-1 and all limbs zero). However, we have a history of bugs where a function that should produce an official zero (with s=1), produces a negative zero in some circumstances. So it's good to check that the bignum functions are robust when passed a negative zero as input. And for that, we need a way to construct a negative zero from test case arguments. There are checks that functions don't produce negative zeros as output in the test suite. Skip those checks if there's a negative zero input: we don't want functions to _create_ negative zeros, but we don't mind if they _propagate_ negative zeros. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-15 20:47:07 +01:00
Tom Cosgrove	9feb19f98d	Use mbedtls_mpi_sint not mbedtls_mpi_uint in mpi_mod_int test ... Signed-off-by: Tom Cosgrove <tom.cosgrove@arm.com>	2022-11-10 12:05:55 +00:00
Tom Cosgrove	91e35e3c32	Enable mpi_mod_int test case to take full-range MPI integers ... Also add commented-out test cases that currently fail Signed-off-by: Tom Cosgrove <tom.cosgrove@arm.com>	2022-11-09 11:45:29 +00:00
Gilles Peskine	ce22066211	Rename test_suite_bignum for consistency with bignum.{h,c} ... Align the name of the bignum test suite with the source module (which was renamed from mpi.c to bignum.c in the PolarSSL 1.x days). This also brings it into line with the test suites for the low-level bignum interfaces. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-10-21 18:54:43 +02:00

Renamed from tests/suites/test_suite_mpi.function (Browse further)