From 78665eba8f59c6d36b47b9d73178a58a353867e8 Mon Sep 17 00:00:00 2001 From: Minos Galanakis Date: Wed, 7 Dec 2022 18:10:46 +0000 Subject: [PATCH] bignum_mod_raw.py: Added BignumModRawModNegate. This patch adds autogenerated inputs for the `mpi_mod_raw_neg()` test in the bignum_mod_raw suite. Signed-off-by: Minos Galanakis --- scripts/mbedtls_dev/bignum_mod_raw.py | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/scripts/mbedtls_dev/bignum_mod_raw.py b/scripts/mbedtls_dev/bignum_mod_raw.py index 0bbad5dd9..34d26f9bb 100644 --- a/scripts/mbedtls_dev/bignum_mod_raw.py +++ b/scripts/mbedtls_dev/bignum_mod_raw.py @@ -109,7 +109,18 @@ class BignumModRawConvertFromMont(bignum_common.ModOperationCommon, result = (self.int_a * self.r_inv) % self.int_n return [self.format_result(result)] +class BignumModRawModNegate(bignum_common.ModOperationCommon, + BignumModRawTarget): + """ Test cases for mpi_mod_raw_neg(). """ + test_function = "mpi_mod_raw_neg" + test_name = "Modular negation: " + symbol = "(-A)" + input_style = "arch_split" + arity = 1 + def result(self) -> List[str]: + result = (self.int_n - self.int_a) % self.int_n + return [self.format_result(result)] # END MERGE SLOT 7 # BEGIN MERGE SLOT 8