aws/aws-encryption-sdk-c

Change cbmc-batch.yaml files in CBMC proofs to standard cbmc-proof.txt ones

Opened this issue 4 years ago · 0 comments

adpaco-aws commented 4 years ago

Change cbmc-batch.yaml files in CBMC proofs to standard cbmc-proof.txt ones