Closed bradleysmith23 closed 8 months ago
Issue #, if available:
Description of changes: Add OTA Job Parser from https://github.com/FreeRTOS/Labs-Project-ota-example-for-aws-iot-core Add unit tests and CBMC proofs for OTA Job Parser. MISRA compliance verified using our standard tool (Coverity).
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
bradleysmith23
commented
8 months ago bradleysmith23
commented
8 months ago
Issue #, if available:
Description of changes: Add OTA Job Parser from https://github.com/FreeRTOS/Labs-Project-ota-example-for-aws-iot-core Add unit tests and CBMC proofs for OTA Job Parser. MISRA compliance verified using our standard tool (Coverity).
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.