Skip to content

Commit

Permalink
Update coreMQTT submodule pointer (#111)
Browse files Browse the repository at this point in the history
* Update coreMQTT submodule pointer

* Fix manifest commit

* Fix doxygen size
  • Loading branch information
moninom1 committed Aug 13, 2024
1 parent 5f454ac commit 955b9a2
Show file tree
Hide file tree
Showing 3 changed files with 6 additions and 6 deletions.
8 changes: 4 additions & 4 deletions docs/doxygen/include/size_table.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,8 +19,8 @@
</tr>
<tr>
<td>core_mqtt.c (coreMQTT)</td>
<td><center>4.0K</center></td>
<td><center>3.4K</center></td>
<td><center>4.1K</center></td>
<td><center>3.5K</center></td>
</tr>
<tr>
<td>core_mqtt_state.c (coreMQTT)</td>
Expand All @@ -34,7 +34,7 @@
</tr>
<tr>
<td><b>Total estimates</b></td>
<td><b><center>10.5K</center></b></td>
<td><b><center>8.6K</center></b></td>
<td><b><center>10.6K</center></b></td>
<td><b><center>8.7K</center></b></td>
</tr>
</table>
2 changes: 1 addition & 1 deletion manifest.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ description: |
license: "MIT"
dependencies:
- name : "coreMQTT"
version: "v2.1.0"
version: "v2.3.1"
repository:
type: "git"
url: "https://github.com/FreeRTOS/coreMQTT/"
Expand Down
2 changes: 1 addition & 1 deletion source/dependency/coreMQTT
Submodule coreMQTT updated 68 files
+47 −0 .github/.cSpellWords.txt
+21 −0 .github/pull_request_template.md
+104 −27 .github/workflows/ci.yml
+23 −0 .github/workflows/formatting.yml
+136 −22 .github/workflows/release.yml
+33 −0 CHANGELOG.md
+1 −1 MISRA.md
+130 −58 README.md
+31 −0 cspell.config.yaml
+182 −84 docs/doxygen/config.doxyfile
+4 −4 docs/doxygen/include/size_table.md
+0 −439 lexicon.txt
+1 −1 manifest.yml
+15 −13 sbom.spdx
+153 −62 source/core_mqtt.c
+1 −5 source/core_mqtt_serializer.c
+1 −3 source/core_mqtt_state.c
+13 −2 source/include/core_mqtt.h
+81 −1 source/include/core_mqtt_config_defaults.h
+0 −132 source/include/core_mqtt_default_logging.h
+1 −13 source/include/core_mqtt_serializer.h
+1 −1 source/include/core_mqtt_state.h
+6 −9 source/interface/transport_interface.h
+60 −48 test/CMakeLists.txt
+1 −7 test/cbmc/include/core_mqtt_config.h
+1 −1 test/cbmc/include/event_callback_stub.h
+1 −1 test/cbmc/include/get_time_stub.h
+1 −1 test/cbmc/include/mqtt_cbmc_state.h
+1 −1 test/cbmc/include/network_interface_stubs.h
+2 −1 test/cbmc/proofs/MQTT_Connect/MQTT_Connect_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializeAck/MQTT_DeserializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_DeserializePublish/MQTT_DeserializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_Disconnect/MQTT_Disconnect_harness.c
+6 −1 test/cbmc/proofs/MQTT_GetIncomingPacketTypeAndLength/MQTT_GetIncomingPacketTypeAndLength_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetPacketId/MQTT_GetPacketId_harness.c
+1 −1 test/cbmc/proofs/MQTT_GetSubAckStatusCodes/MQTT_GetSubAckStatusCodes_harness.c
+1 −1 test/cbmc/proofs/MQTT_Init/MQTT_Init_harness.c
+1 −1 test/cbmc/proofs/MQTT_MatchTopic/MQTT_MatchTopic_harness.c
+1 −1 test/cbmc/proofs/MQTT_Ping/MQTT_Ping_harness.c
+1 −1 test/cbmc/proofs/MQTT_ProcessLoop/MQTT_ProcessLoop_harness.c
+2 −1 test/cbmc/proofs/MQTT_Publish/MQTT_Publish_harness.c
+1 −1 test/cbmc/proofs/MQTT_ReceiveLoop/MQTT_ReceiveLoop_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeAck/MQTT_SerializeAck_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeConnect/MQTT_SerializeConnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeDisconnect/MQTT_SerializeDisconnect_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePingreq/MQTT_SerializePingreq_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublish/MQTT_SerializePublish_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializePublishHeader/MQTT_SerializePublishHeader_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeSubscribe/MQTT_SerializeSubscribe_harness.c
+1 −1 test/cbmc/proofs/MQTT_SerializeUnsubscribe/MQTT_SerializeUnsubscribe_harness.c
+2 −1 test/cbmc/proofs/MQTT_Subscribe/MQTT_Subscribe_harness.c
+2 −1 test/cbmc/proofs/MQTT_Unsubscribe/MQTT_Unsubscribe_harness.c
+74 −0 test/cbmc/proofs/lib/print_tool_versions.py
+57 −6 test/cbmc/proofs/lib/summarize.py
+1 −1 test/cbmc/sources/mqtt_cbmc_state.c
+1 −1 test/cbmc/stubs/event_callback_stub.c
+1 −1 test/cbmc/stubs/get_time_stub.c
+1 −1 test/cbmc/stubs/memmove.c
+1 −1 test/cbmc/stubs/network_interface_stubs.c
+36 −0 test/unit-test/cmock_opaque_types.h
+3 −7 test/unit-test/core_mqtt_config.h
+13 −6 test/unit-test/core_mqtt_serializer_utest.c
+6 −6 test/unit-test/core_mqtt_state_utest.c
+559 −2 test/unit-test/core_mqtt_utest.c
+1 −1 test/unit-test/logging/logging_levels.h
+1 −1 test/unit-test/logging/logging_stack.h
+2 −0 tools/cmock/project.yml
+22 −25 tools/coverity/misra.config

0 comments on commit 955b9a2

Please sign in to comment.