mirror of
https://github.com/FreeRTOS/coreMQTT
synced 2025-07-03 02:16:42 +08:00
8ec72d6ef7
Description ----------- This PR: Adds CBMC proofs for the new APIs added for publish retransmits in #308 Test Steps ----------- Proofs run without any errors or warnings Checklist: ---------- - [x] I have tested my changes. No regression in existing tests. - [x] I have modified and/or added unit-tests to cover the code changes in this Pull Request. Related Issue ----------- <!-- If any, please provide issue ID. --> By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice. --------- Co-authored-by: DakshitBabbar <dakshba@amazon.com> Co-authored-by: Gaurav-Aggarwal-AWS <33462878+aggarg@users.noreply.github.com>
CBMC proof source code
This directory contains source code written for CBMC proofs. It is common to write some code to model aspects of the system under test, and this code goes here.