Closed bradleysmith23 closed 8 months ago
*Issue #, if available: N/A
Description of changes: Fix MISRA violations for API's added to library from https://github.com/FreeRTOS/Labs-Project-ota-example-for-aws-iot-core Tested with unit tests as well as cbmc proofs.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
/bot run formatting
This wasn't mentioned in your PR description - but you verified the MISRA violations are fixed with our standard tool (Coverity).
*Issue #, if available: N/A
Description of changes: Fix MISRA violations for API's added to library from https://github.com/FreeRTOS/Labs-Project-ota-example-for-aws-iot-core Tested with unit tests as well as cbmc proofs.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.