awslabs / aws-verification-model-for-libcrypto

Partial verification model for openssl.
Apache License 2.0
4 stars 16 forks source link

Update model with asn1_string_st definition #42

Closed feliperodri closed 1 year ago

feliperodri commented 1 year ago

Issue #, if available: N/A.

Description of changes: Update model with asn1_string_st type definition. Responding to request from https://github.com/aws/s2n-tls/pull/3978#pullrequestreview-1413504886.

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.