Apply clang-format to these files

rod-chapman · rod-chapman · commit b2f6071dbed3 · 2026-04-16T09:22:25.000+01:00
Signed-off-by: Rod Chapman &lt;rodchap@amazon.com&gt;
diff --git a/mlkem/src/indcpa.c b/mlkem/src/indcpa.c
@@ -432,8 +432,9 @@ __contract__(
  * Specification: Implements @[FIPS203, Algorithm 14 (K-PKE.Encrypt)].
  *                steps 9 - 16
  **************************************************/
-static void mlk_enc_getnoise_eta1_eta2(mlk_polyvec *sp, mlk_polyvec *ep, mlk_poly *epp,
-                              const uint8_t coins[MLKEM_SYMBYTES])
+static void mlk_enc_getnoise_eta1_eta2(mlk_polyvec *sp, mlk_polyvec *ep,
+                                       mlk_poly *epp,
+                                       const uint8_t coins[MLKEM_SYMBYTES])
 __contract__(
   requires(memory_no_alias(sp, sizeof(mlk_polyvec)))
   requires(memory_no_alias(ep, sizeof(mlk_polyvec)))
diff --git a/proofs/cbmc/enc_getnoise_eta1_eta2/enc_getnoise_eta1_eta2_harness.c b/proofs/cbmc/enc_getnoise_eta1_eta2/enc_getnoise_eta1_eta2_harness.c
@@ -6,7 +6,7 @@
 
 #define mlk_enc_getnoise_eta1_eta2 MLK_NAMESPACE(enc_getnoise)
 void mlk_enc_getnoise_eta1_eta2(mlk_polyvec *sp, mlk_polyvec *ep, mlk_poly *epp,
-                       const uint8_t coins[MLKEM_SYMBYTES]);
+                                const uint8_t coins[MLKEM_SYMBYTES]);
 
 void harness(void)
 {

Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@`
`6`	`6`
`7`	`7`	`#define mlk_enc_getnoise_eta1_eta2 MLK_NAMESPACE(enc_getnoise)`
`8`	`8`	`void mlk_enc_getnoise_eta1_eta2(mlk_polyvec sp, mlk_polyvec ep, mlk_poly *epp,`
`9`		`- const uint8_t coins[MLKEM_SYMBYTES]);`
	`9`	`+ const uint8_t coins[MLKEM_SYMBYTES]);`
`10`	`10`
`11`	`11`	`void harness(void)`
`12`	`12`	`{`