aws/aws-encryption-sdk-c

Update CBMC proofs when allocator functions are updated in c-common

Opened this issue · 0 comments

tegansb commented
Update CBMC proofs when allocator functions are updated in c-common