mirror of
https://github.com/FreeRTOS/coreMQTT
synced 2025-07-03 18:28:55 +08:00
9b993a6981
<!--- Title --> Description ----------- * Update the release action for version number include the following files - docs/doxygen/config.doxyfile - PROJECT_NUMBER - manifest.yml file - version - source file - version header - core_mqtt.h - version number * Add version number check in "Create ZIP and verify package for release asset" steps. Including the following - docs/doxygen/config.doxyfile - PROJECT_NUMBER - manifest.yml file - version - source file - version header - core_mqtt.h - version number * Update all the version number to "v2.3.0+" and "\<DEVELOPMENT BRANCH\>" Test Steps ----------- Using release action to create release should update the following * source/include/core_mqtt.h version number * source files header version number * doxygen version number * manifest.yml number * SBOM file Tested in personal fork without problem : https://github.com/FreshDevGo/coreMQTT/actions/runs/9885707328/job/27304218049 Test with wrong source file version number : https://github.com/FreshDevGo/coreMQTT/actions/runs/9885727002/job/27304274003 Test with wrong manifest.yml version number : https://github.com/FreshDevGo/coreMQTT/actions/runs/9885726029/job/27304270303 Test with wrong doxygen version number : https://github.com/FreshDevGo/coreMQTT/actions/runs/9885723302/job/27304269170 Test with wrong version number macro in core_mqtt.h : https://github.com/FreshDevGo/coreMQTT/actions/runs/9885724835/job/27304268841 Checklist: ---------- <!--- Go over all the following points, and put an `x` in all the boxes that apply. --> <!--- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> - [x] I have tested my changes. No regression in existing tests. - [ ] ~~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.
CBMC proof stubs
This directory contains the stubs written for CBMC proofs. It is common to stub out functionality like network send and receive methods when writing a CBMC proof, and the code for these stubs goes here.