From fbbee3e18769487eed2fbd0542bf139c5606157e Mon Sep 17 00:00:00 2001
From: Basil Hess <bhe@zurich.ibm.com>
Date: Tue, 21 Jan 2025 15:10:38 +0100
Subject: [PATCH] Update CT files [full tests] [extended tests]

Signed-off-by: Basil Hess <bhe@zurich.ibm.com>
---
 tests/constant_time/kem/passes/ml_kem | 26 ++++++++++++++++----------
 1 file changed, 16 insertions(+), 10 deletions(-)

diff --git a/tests/constant_time/kem/passes/ml_kem b/tests/constant_time/kem/passes/ml_kem
index 262ec9381b..cc4f93e4e3 100644
--- a/tests/constant_time/kem/passes/ml_kem
+++ b/tests/constant_time/kem/passes/ml_kem
@@ -1,21 +1,27 @@
 {
-   Rejection sampling to produce public "A" matrix
+   The parts of sk being hashed and compared here are public.
    Memcheck:Cond
-   fun:rej_uniform
-   fun:pqcrystals_ml_kem*_ref_gen_matrix
-   fun:pqcrystals_ml_kem*_ref_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
 }
 {
-   Rejection sampling to produce public "A" matrix
+   The parts of sk being hashed and compared here are public.
+   Memcheck:Cond
+   fun:bcmp
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_check_sk
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_dec
+}
+{
+   <insert_a_suppression_name_here>
    Memcheck:Cond
    ...
-   fun:pqcrystals_ml_kem*_avx2_gen_matrix
-   fun:pqcrystals_ml_kem*_avx2_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_gen_matrix
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_indcpa_*
 }
 {
-   Rejection sampling to produce public "A" matrix
+   <insert_a_suppression_name_here>
    Memcheck:Value8
    ...
-   fun:pqcrystals_ml_kem*_avx2_gen_matrix
-   fun:pqcrystals_ml_kem*_avx2_indcpa_*
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_gen_matrix
+   fun:PQCP_MLKEM_NATIVE_MLKEM*_indcpa_*
 }