3 Commits

Author	SHA1	Message	Date
Gilles Peskine	92c5d31b44	Add negative zero as an input to automatically generated tests ... Although negative zero is officially unsupported, we've had bugs related to it in the past. So do test functions with a negative zero input. There will likely be cases where we don't want to accept negative zero as if it was valid, because it's too hard to handle. We'll add exceptions on a case by case basis. For the functions that are currently tested by the generated tests, the new test cases pass. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-10 15:15:25 +01:00
Gilles Peskine	ee78b6e642	For binary operations, test both x op y and y op x ... This exposes a bug in mbedtls_mpi_add_mpi() and mbedtls_mpi_sub_mpi() which will be fixed in a subsequent commit. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2022-11-10 15:15:25 +01:00
Gilles Peskine	5b68608b40	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-11-09 21:00:28 +01:00