The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that
ota-for-aws-iot-embedded-sdk PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return ota-for-aws-iot-embedded-sdk to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version.
Checklist:
[x] I have tested my changes. No regression in existing tests.
[x] My code is formatted using Uncrustify.
[x] I have read and applied the rules stated in CONTRIBUTING.md.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Description
The upcoming CBMC version 6 release includes changes that may affect existing proofs. This PR will make sure that ota-for-aws-iot-embedded-sdk PRs are not negatively impacted by this release. After releasing CBMC version 6 we will issue a follow-up PR that will return ota-for-aws-iot-embedded-sdk to using CBMC's latest release, and will include any changes to proofs that may be necessary to support the new version.
Checklist:
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.