Try CBMC "fix"

aws · Feb 28, 2023 · 7ed39da · 7ed39da
1 parent 2c2d552
commit 7ed39da
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/...s/cbmc/proofs/s2n_stuffer_private_key_from_pem/s2n_stuffer_private_key_from_pem_harness.c b/...s/cbmc/proofs/s2n_stuffer_private_key_from_pem/s2n_stuffer_private_key_from_pem_harness.c
@@ -35,7 +35,8 @@ void s2n_stuffer_private_key_from_pem_harness()
     nondet_s2n_mem_init();
 
     /* Operation under verification. */
-    s2n_stuffer_private_key_from_pem(pem, asn1);
+    int type;
+    s2n_stuffer_private_key_from_pem(pem, asn1, &type);
 
     /* Post-conditions. */
     assert(s2n_result_is_ok(s2n_stuffer_validate(pem)));