CR fix

jakemas · jakemas · commit 06467416f486 · 2025-05-02T19:47:31.000Z
Signed-off-by: Jake Massimo &lt;jakemas@amazon.com&gt;
diff --git a/proofs/cbmc/mldsa_shake128_stream_init/mldsa_shake128_stream_init_harness.c b/proofs/cbmc/mldsa_shake128_stream_init/mldsa_shake128_stream_init_harness.c
@@ -7,7 +7,7 @@
 void harness(void)
 {
   keccak_state *s;
-  const uint8_t seed[MLDSA_SEEDBYTES];
+  const uint8_t *seed;
   uint16_t nonce;
 
   mldsa_shake128_stream_init(s, seed, nonce);

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`	`void harness(void)`
`8`	`8`	`{`
`9`	`9`	`keccak_state *s;`
`10`		`- const uint8_t seed[MLDSA_SEEDBYTES];`
	`10`	`+ const uint8_t *seed;`
`11`	`11`	`uint16_t nonce;`
`12`	`12`
`13`	`13`	`mldsa_shake128_stream_init(s, seed, nonce);`