aws / aws/aws-encryption-sdk-c
Change cbmc-batch.yaml files in CBMC proofs to standard cbmc-proof.txt ones
Open
cbmc
- Dominant language
- C
- Stars
- 63
- Forks
- 59
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
Locate the cbmc-batch.yaml files under the CBMC proofs and inspect how the existing proof files are named and referenced. Rename or update them to the standard cbmc-proof.txt convention, then run the relevant CBMC proof checks to confirm that all proofs still work.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c
- Domain
- testing
- Issue type
- Refactor
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100