Skip to content

Commit

Permalink
Upgrade OpenSSL model for CBMC proofs (#3857)
Browse files Browse the repository at this point in the history 
Signed-off-by: Felipe R. Monteiro <[email protected]>
  • Loading branch information
@feliperodri
feliperodri authored Feb 28, 2023
1 parent 2352dd1 commit 9533076
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/cbmc/aws-verification-model-for-libcrypto
Submodule aws-verification-model-for-libcrypto updated 1 files
+3 −0 include/openssl/evp.h

0 comments on commit 9533076

Please sign in to comment.