FreeRTOS/coreMQTT
1
0
Fork 0
mirror of https://github.com/FreeRTOS/coreMQTT synced 2025-07-01 08:09:21 +08:00
Code Issues Releases Wiki Activity
coreMQTT/test/cbmc/include
History
Dakshit Babbar 8ec72d6ef7
Add CBMC Proofs for the new APIs (#315) 
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>
2025-03-05 16:49:34 +05:30
..
core_mqtt_config.h
Update release action for version number (#297)
2024-07-11 18:50:40 +05:30
event_callback_stub.h
Update release action for version number (#297)
2024-07-11 18:50:40 +05:30
get_time_stub.h
Update release action for version number (#297)
2024-07-11 18:50:40 +05:30
mqtt_cbmc_state.h
Add CBMC Proofs for the new APIs (#315)
2025-03-05 16:49:34 +05:30
network_interface_stubs.h
Update release action for version number (#297)
2024-07-11 18:50:40 +05:30
README.md
Update files related to CBMC starter kit
2022-07-15 10:56:02 -07:00

README.md

CBMC proof include files

This directory contains include files written for CBMC proof. It is common to write some code to model aspects of the system under test, and the header files for this code go here.