Skip to content

Commit

Permalink
Fix formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
@kar-rahul-aws
kar-rahul-aws committed Oct 25, 2024
1 parent 37690d9 commit cb03c62
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion FreeRTOS-Plus/Source/AWS/ota
Submodule ota updated 32 files
+1 −1 .github/workflows/release.yml
+0 −1 README.md
+4 −4 docs/doxygen/include/size_table.md
+1 −1 source/include/ota_config_defaults.h
+19 −7 source/ota.c
+2 −0 test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c
+2 −0 test/cbmc/proofs/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c
+2 −0 test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c
+2 −1 test/cbmc/proofs/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c
+2 −0 test/cbmc/proofs/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c
+2 −0 test/cbmc/proofs/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c
+2 −0 test/cbmc/proofs/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c
+2 −0 test/cbmc/proofs/closeFileHandler/closeFileHandler_harness.c
+4 −4 test/cbmc/proofs/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c
+2 −0 test/cbmc/proofs/executeHandler/executeHandler_harness.c
+5 −5 test/cbmc/proofs/extractAndStoreArray/extractAndStoreArray_harness.c
+2 −0 test/cbmc/proofs/freeFileContextMem/freeFileContextMem_harness.c
+4 −2 test/cbmc/proofs/getFileContextFromJob/getFileContextFromJob_harness.c
+1 −1 test/cbmc/proofs/handleJobParsingError/handleJobParsingError_harness.c
+2 −0 test/cbmc/proofs/otaClose/otaClose_harness.c
+2 −0 test/cbmc/proofs/parseJSONbyModel/parseJSONbyModel_harness.c
+5 −5 test/cbmc/proofs/processDataBlock/processDataBlock_harness.c
+2 −0 test/cbmc/proofs/requestTimerCallback/requestTimerCallback_harness.c
+2 −0 test/cbmc/proofs/resetEventQueue/resetEventQueue_harness.c
+2 −0 test/cbmc/proofs/resumeHandler/resumeHandler_harness.c
+2 −0 test/cbmc/proofs/selfTestTimerCallback/selfTestTimerCallback_harness.c
+2 −0 test/cbmc/proofs/shutdownHandler/shutdownHandler_harness.c
+2 −0 test/cbmc/proofs/stringBuilder/stringBuilder_harness.c
+2 −0 test/cbmc/proofs/suspendHandler/suspendHandler_harness.c
+4 −0 test/cbmc/proofs/validateAndStartJob/validateAndStartJob_harness.c
+2 −0 test/cbmc/proofs/verifyActiveJobStatus/verifyActiveJobStatus_harness.c
+5 −2 test/unit-test/ota_utest.c

0 comments on commit cb03c62

Please sign in to comment.