From 43013559268cbc9170ef1559607ed507d63a6e4d Mon Sep 17 00:00:00 2001 From: chinglee-iot <61685396+chinglee-iot@users.noreply.github.com> Date: Tue, 11 Jun 2024 09:28:37 +0800 Subject: [PATCH] [v1.4.0] Update changelog, version numbers and .md files for release (#172) * Update change log for version v1.4.0 * Update version in documents * Version bump in source and header file * Update release.yml github actions version * Update CHANGELOG for latest commit --- .github/workflows/release.yml | 8 +-- CHANGELOG.md | 53 +++++++++++++++++++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- source/cellular_3gpp_api.c | 2 +- source/cellular_3gpp_urc_handler.c | 2 +- source/cellular_at_core.c | 2 +- source/cellular_common.c | 2 +- source/cellular_common_api.c | 2 +- source/cellular_pkthandler.c | 2 +- source/cellular_pktio.c | 2 +- source/include/cellular_api.h | 2 +- source/include/cellular_config_defaults.h | 2 +- source/include/cellular_types.h | 2 +- source/include/common/cellular_at_core.h | 2 +- source/include/common/cellular_common.h | 2 +- source/include/common/cellular_common_api.h | 2 +- .../include/common/cellular_common_portable.h | 2 +- .../private/cellular_common_internal.h | 2 +- source/include/private/cellular_internal.h | 2 +- .../private/cellular_pkthandler_internal.h | 2 +- .../include/private/cellular_pktio_internal.h | 2 +- source/interface/cellular_comm_interface.h | 2 +- test/CMakeLists.txt | 2 +- test/cbmc/include/cellular_cbmc_state.h | 2 +- test/cbmc/include/cellular_config.h | 2 +- test/cbmc/include/cellular_platform.h | 2 +- .../Cellular_ATGetNextTok_harness.c | 2 +- .../Cellular_ATGetSpecificNextTok_harness.c | 2 +- .../Cellular_ATHexStrToHex_harness.c | 2 +- .../Cellular_ATIsPrefixPresent_harness.c | 2 +- .../Cellular_ATIsStrDigit_harness.c | 2 +- .../Cellular_ATRemoveAllDoubleQuote_harness.c | 2 +- .../Cellular_ATRemoveAllWhiteSpaces_harness.c | 2 +- ...lular_ATRemoveLeadingWhiteSpaces_harness.c | 2 +- ...lar_ATRemoveOutermostDoubleQuote_harness.c | 2 +- .../Cellular_ATRemovePrefix_harness.c | 2 +- ...ular_ATRemoveTrailingWhiteSpaces_harness.c | 2 +- .../Cellular_ATStrDup_harness.c | 2 +- .../Cellular_ATStrStartWith_harness.c | 2 +- .../Cellular_ATStrtoi_harness.c | 2 +- .../Cellular_ATcheckErrorCode_harness.c | 2 +- .../Cellular_CommonATCommandRaw_harness.c | 2 +- .../Cellular_CommonCleanup_harness.c | 2 +- .../Cellular_CommonCreateSocket_harness.c | 2 +- .../Cellular_CommonGetEidrxSettings_harness.c | 2 +- .../Cellular_CommonGetIPAddress_harness.c | 2 +- .../Cellular_CommonGetModemInfo_harness.c | 2 +- .../Cellular_CommonGetNetworkTime_harness.c | 2 +- .../Cellular_CommonGetPsmSettings_harness.c | 2 +- ...lular_CommonGetRegisteredNetwork_harness.c | 2 +- .../Cellular_CommonGetServiceStatus_harness.c | 2 +- .../Cellular_CommonGetSimCardInfo_harness.c | 2 +- ...lular_CommonGetSimCardLockStatus_harness.c | 2 +- .../Cellular_CommonInit_harness.c | 2 +- ...CommonRegisterModemEventCallback_harness.c | 2 +- ...CommonRegisterUrcGenericCallback_harness.c | 2 +- ...NetworkRegistrationEventCallback_harness.c | 2 +- ...ommonRegisterUrcPdnEventCallback_harness.c | 2 +- ...UrcSignalStrengthChangedCallback_harness.c | 2 +- .../Cellular_CommonRfOff_harness.c | 2 +- .../Cellular_CommonRfOn_harness.c | 2 +- .../Cellular_CommonSetEidrxSettings_harness.c | 2 +- .../Cellular_CommonSetPdnConfig_harness.c | 2 +- .../Cellular_CommonSetPsmSettings_harness.c | 2 +- ...mmonSocketRegisterClosedCallback_harness.c | 2 +- ...nSocketRegisterDataReadyCallback_harness.c | 2 +- ...SocketRegisterSocketOpenCallback_harness.c | 2 +- .../Cellular_CommonSocketSetSockOpt_harness.c | 2 +- .../Cellular_CommonUrcProcessCereg_harness.c | 2 +- .../Cellular_CommonUrcProcessCgreg_harness.c | 2 +- .../Cellular_CommonUrcProcessCreg_harness.c | 2 +- .../_Cellular_ComputeSignalBars_harness.c | 2 +- .../_Cellular_ConvertCsqSignalBer_harness.c | 2 +- .../_Cellular_ConvertCsqSignalRssi_harness.c | 2 +- .../_Cellular_GenericCallback_harness.c | 2 +- .../_Cellular_GetCurrentRat_harness.c | 2 +- .../_Cellular_GetModuleContext_harness.c | 2 +- .../_Cellular_GetSocketData_harness.c | 2 +- .../_Cellular_IsValidSocket_harness.c | 2 +- .../_Cellular_LibCleanup_harness.c | 2 +- .../_Cellular_ModemEventCallback_harness.c | 2 +- ...ular_NetworkRegistrationCallback_harness.c | 2 +- .../_Cellular_PdnEventCallback_harness.c | 2 +- .../_Cellular_RemoveSocketData_harness.c | 2 +- ...ar_SignalStrengthChangedCallback_harness.c | 2 +- ...AtcmdDataRecvRequestWithCallback_harness.c | 2 +- ...AtcmdDataSendRequestWithCallback_harness.c | 2 +- ...TimeoutAtcmdDataSendSuccessToken_harness.c | 2 +- .../_Cellular_TranslateAtCoreStatus_harness.c | 2 +- test/cbmc/sources/cellular_cbmc_state.c | 2 +- test/cbmc/sources/cellular_modules.c | 2 +- test/cbmc/sources/cellular_platform.c | 2 +- test/cbmc/sources/global_state_cellular.c | 2 +- test/cbmc/stubs/bsearch.c | 2 +- test/cbmc/stubs/memchr.c | 2 +- test/cbmc/stubs/snprintf.c | 2 +- test/cbmc/stubs/strchr.c | 2 +- test/cbmc/stubs/strncpy.c | 2 +- test/cbmc/stubs/strnlen.c | 2 +- test/cbmc/stubs/strstr.c | 2 +- test/cbmc/stubs/strtok.c | 2 +- test/cbmc/stubs/strtol.c | 2 +- test/unit-test/cellular_3gpp_api_utest.c | 2 +- .../cellular_3gpp_urc_handler_utest.c | 2 +- test/unit-test/cellular_at_core_utest.c | 2 +- test/unit-test/cellular_common_api_utest.c | 2 +- test/unit-test/cellular_common_utest.c | 2 +- test/unit-test/cellular_config.h | 2 +- test/unit-test/cellular_pkthandler_utest.c | 2 +- test/unit-test/cellular_pktio_utest.c | 2 +- test/unit-test/cellular_platform.h | 2 +- test/unit-test/logging/logging_levels.h | 2 +- test/unit-test/logging/logging_stack.h | 2 +- 114 files changed, 169 insertions(+), 116 deletions(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 13808129..623430e0 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -16,7 +16,7 @@ jobs: runs-on: ubuntu-latest steps: - name: Checkout code - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: ref: ${{ github.event.inputs.commit_id }} - name: Configure git identity @@ -55,7 +55,7 @@ jobs: - name: Install ZIP tools run: sudo apt-get install zip unzip - name: Checkout code - uses: actions/checkout@v3 + uses: actions/checkout@v4 with: ref: ${{ github.event.inputs.commit_id }} path: FreeRTOS-Cellular-Interface @@ -93,7 +93,7 @@ jobs: ctest -E system --output-on-failure cd .. - name: Create artifact of ZIP - uses: actions/upload-artifact@v2 + uses: actions/upload-artifact@v4 with: name: FreeRTOS-Cellular-Interface-${{ github.event.inputs.version_number @@ -132,7 +132,7 @@ jobs: draft: false prerelease: false - name: Download ZIP artifact - uses: actions/download-artifact@v2 + uses: actions/download-artifact@v4 with: name: FreeRTOS-Cellular-Interface-${{ github.event.inputs.version_number diff --git a/CHANGELOG.md b/CHANGELOG.md index 2f8be459..410ba30a 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,58 @@ # Change Log for FreeRTOS Cellular Interface Library +## v1.4.0 (May 2024) + +### Updates + +- [#173](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/171) +Add CELLULAR_CONFIG_PKTIO_READ_BUFFER_SIZE config. +- [#171](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/171) +Update doxygen to 1.9.6. +- [#166](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/166) +Update cellular platform header APIs. +- [#168](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/168) +Remove const qualifier in CellularPdnConfig_t. +- [#164](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/164) +Fix MISRA C 2012 deviations. +- [#163](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/163) +Update Cellular_CommonInit error handling. +- [#161](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/161) +Set to numeric format in atcmdUpdateMccMnc. +- [#160](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/160) +Add generic callback result handle function. +- [#159](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/159) +Update _getMsgType for input line without prefix. +- [#158](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/158) +Add CELLULAR_CONFIG_USE_CCID_COMMAND config. +- [#157](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/157) +Fix decihours to 6 minutes and UT. +- [#155](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/155) +Fix interDelayMS in _Cellular_AtcmdDataSend. +- [#154](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/154) +Fix log print format for GNU arm compiler. +- [#142](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/142) +Return IP address list in Cellular_CommonGetIPAddress. +- [#140](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/140) +Make CELLULAR_AT_MAX_STRING_SIZE configurable. +- [#138](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/138) +Support AT command with no success result code. +- [#139](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/139) +Add binary data send and receive document. +- [#137](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/137) +Adding _Cellular_RegisterInputBufferCallback in common layer. +- [#131](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/131) +Update _processUrcPacket to manipulate string in function scope. +- [#117](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/117) +Add CELLULAR_CHECK_IS_PREFIX_LEADING_CHAR config. +- [#116](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/116) +Adding SPDX identifier. +- [#112](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/112) +Move modules to independent repositories. +- [#111](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/111) +Reset the AT command type before calling callback. +- [#110](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/110) +Handle undefined message when sending AT command. + ## v1.3.0 (October 2022) ### Updates diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index e3d406bd..f10c3051 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -48,7 +48,7 @@ PROJECT_NAME = "FreeRTOS: FreeRTOS Cellular Library" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v1.3.0 +PROJECT_NUMBER = v1.4.0 # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/manifest.yml b/manifest.yml index 36ce2bfa..4046ca87 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "FreeRTOS-Cellular-Interface" -version: "v1.3.0" +version: "v1.4.0" description: | "FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard..\n" license: "MIT" diff --git a/source/cellular_3gpp_api.c b/source/cellular_3gpp_api.c index 80e9e251..e6b6bb77 100644 --- a/source/cellular_3gpp_api.c +++ b/source/cellular_3gpp_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_3gpp_urc_handler.c b/source/cellular_3gpp_urc_handler.c index e7c4f49e..dfd82083 100644 --- a/source/cellular_3gpp_urc_handler.c +++ b/source/cellular_3gpp_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_at_core.c b/source/cellular_at_core.c index 12c40639..b1e0d95e 100644 --- a/source/cellular_at_core.c +++ b/source/cellular_at_core.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_common.c b/source/cellular_common.c index 97c5a035..1e25d6a0 100644 --- a/source/cellular_common.c +++ b/source/cellular_common.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_common_api.c b/source/cellular_common_api.c index a9d8fde5..8e21d90f 100644 --- a/source/cellular_common_api.c +++ b/source/cellular_common_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_pkthandler.c b/source/cellular_pkthandler.c index e42fbb39..2e3e5085 100644 --- a/source/cellular_pkthandler.c +++ b/source/cellular_pkthandler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/cellular_pktio.c b/source/cellular_pktio.c index 5cacadaa..daedaff5 100644 --- a/source/cellular_pktio.c +++ b/source/cellular_pktio.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/cellular_api.h b/source/include/cellular_api.h index ddd3c17c..ffff95b5 100644 --- a/source/include/cellular_api.h +++ b/source/include/cellular_api.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/cellular_config_defaults.h b/source/include/cellular_config_defaults.h index 05eb36db..c5b06819 100644 --- a/source/include/cellular_config_defaults.h +++ b/source/include/cellular_config_defaults.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/cellular_types.h b/source/include/cellular_types.h index 43b2bb11..07867ee1 100644 --- a/source/include/cellular_types.h +++ b/source/include/cellular_types.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/common/cellular_at_core.h b/source/include/common/cellular_at_core.h index 0518f543..289925f4 100644 --- a/source/include/common/cellular_at_core.h +++ b/source/include/common/cellular_at_core.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/common/cellular_common.h b/source/include/common/cellular_common.h index 3bd8ac49..71388202 100644 --- a/source/include/common/cellular_common.h +++ b/source/include/common/cellular_common.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/common/cellular_common_api.h b/source/include/common/cellular_common_api.h index 0705fb01..ef2d96b1 100644 --- a/source/include/common/cellular_common_api.h +++ b/source/include/common/cellular_common_api.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/common/cellular_common_portable.h b/source/include/common/cellular_common_portable.h index 45f885f7..692c2001 100644 --- a/source/include/common/cellular_common_portable.h +++ b/source/include/common/cellular_common_portable.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/private/cellular_common_internal.h b/source/include/private/cellular_common_internal.h index 4b9fe3f5..a8b7b57d 100644 --- a/source/include/private/cellular_common_internal.h +++ b/source/include/private/cellular_common_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/private/cellular_internal.h b/source/include/private/cellular_internal.h index 8a667e0f..0992b06e 100644 --- a/source/include/private/cellular_internal.h +++ b/source/include/private/cellular_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/private/cellular_pkthandler_internal.h b/source/include/private/cellular_pkthandler_internal.h index 1598bfbc..dc5cfa0e 100644 --- a/source/include/private/cellular_pkthandler_internal.h +++ b/source/include/private/cellular_pkthandler_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/include/private/cellular_pktio_internal.h b/source/include/private/cellular_pktio_internal.h index 9d4cd3a1..5ad7a9dc 100644 --- a/source/include/private/cellular_pktio_internal.h +++ b/source/include/private/cellular_pktio_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/source/interface/cellular_comm_interface.h b/source/interface/cellular_comm_interface.h index a38f89e6..937c1113 100644 --- a/source/interface/cellular_comm_interface.h +++ b/source/interface/cellular_comm_interface.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 78d2693b..5f51c41f 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,6 +1,6 @@ cmake_minimum_required ( VERSION 3.13.0 ) project ( "cellular_library unit test" - VERSION 1.0.0 + VERSION 1.4.0 LANGUAGES C ) # Allow the project to be organized into folders. diff --git a/test/cbmc/include/cellular_cbmc_state.h b/test/cbmc/include/cellular_cbmc_state.h index 2a990c03..4b135959 100644 --- a/test/cbmc/include/cellular_cbmc_state.h +++ b/test/cbmc/include/cellular_cbmc_state.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/cellular_config.h b/test/cbmc/include/cellular_config.h index 718e3780..96067cfc 100644 --- a/test/cbmc/include/cellular_config.h +++ b/test/cbmc/include/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/include/cellular_platform.h b/test/cbmc/include/cellular_platform.h index e60bc4c2..cb3488bd 100644 --- a/test/cbmc/include/cellular_platform.h +++ b/test/cbmc/include/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c b/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c index d2f46996..d635b303 100644 --- a/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c +++ b/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c b/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c index 451b72b0..b349bffa 100644 --- a/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c +++ b/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c b/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c index 184a0b9d..65409c2a 100644 --- a/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c +++ b/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c b/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c index e209e388..d88d525a 100644 --- a/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c +++ b/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c b/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c index 6ba65a2f..9f63e437 100644 --- a/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c +++ b/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c b/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c index 667b2b3a..77bb0565 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c index e32fa192..61d4b264 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c index 1cb63206..b12fd3cb 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c b/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c index e21e7e41..4885cbd6 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c b/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c index 35ede4d5..0cd3ce72 100644 --- a/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c index 084445f1..2cea929d 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c b/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c index 9ace4e60..88775796 100644 --- a/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c +++ b/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c b/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c index 0423496c..44eede67 100644 --- a/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c +++ b/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c b/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c index 6583f298..b4a74101 100644 --- a/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c +++ b/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c b/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c index 8e63ad12..be7b5280 100644 --- a/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c +++ b/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c b/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c index d1a22748..d650fc52 100644 --- a/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c +++ b/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c b/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c index c9c9ba19..1321dd4a 100644 --- a/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c +++ b/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c b/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c index b61e6946..591c9b9b 100644 --- a/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c +++ b/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c b/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c index d9d86457..c346bfb0 100644 --- a/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c b/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c index c8cc11de..137aa219 100644 --- a/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c b/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c index 8e34ab0b..612dc86a 100644 --- a/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c b/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c index de1615ca..1a94e414 100644 --- a/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c b/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c index 41f04610..f745213f 100644 --- a/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c b/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c index 62f76e7a..55e70c39 100644 --- a/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c b/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c index 004ad78c..e177a207 100644 --- a/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c b/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c index 1eaadaa3..ba29d2ef 100644 --- a/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c b/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c index 0e7c4f3d..91544b29 100644 --- a/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c b/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c index 5e1e9beb..fd974d1d 100644 --- a/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c +++ b/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c index dacf685e..e060970b 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c index 8cd9ded3..29d82579 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c index 65de514b..0cf081af 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c index 250b3cd6..f7178eeb 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c index 65ef38d7..f6113405 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c b/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c index a3999232..60009d8a 100644 --- a/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c b/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c index 1af331ef..5e90a5f7 100644 --- a/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c index cda5c78a..c76672ec 100644 --- a/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c b/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c index dcffa39d..acb4b25f 100644 --- a/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c index 0ce9bc72..ca5314e6 100644 --- a/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c index c1cf2cf9..7b695067 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c index c7fd573a..3310c227 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c index e4cb1558..ab508eea 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c b/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c index 9d2d299e..424076fd 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c index 080e361f..9f999ffb 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c index 472b43c7..c27142db 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c index 2d62562a..2c91d7d3 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c b/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c index 6b137f92..8f17ae87 100644 --- a/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c +++ b/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c index 94821a47..98331ff9 100644 --- a/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c +++ b/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c index 1df6d449..edb2847c 100644 --- a/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c +++ b/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c b/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c index b7fe8bab..6bf1b877 100644 --- a/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c b/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c index 9ddf0d50..c78e2c34 100644 --- a/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c +++ b/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c b/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c index 60d8c7bb..3ba49480 100644 --- a/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c +++ b/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c b/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c index 528d11e7..b3811edb 100644 --- a/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c +++ b/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c b/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c index e6c8c476..9a3db392 100644 --- a/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c +++ b/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c b/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c index 5d6b3560..fa16abf4 100644 --- a/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c +++ b/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c b/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c index 924fa56a..cb995726 100644 --- a/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c b/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c index 59906867..2a16ebba 100644 --- a/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c b/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c index 21fd4f5c..21e2e0cd 100644 --- a/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c b/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c index e70b26f5..c1063678 100644 --- a/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c +++ b/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c index db299447..5b36731a 100644 --- a/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c index 444d2033..d90100a1 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c index f4a2cb3b..815549cb 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c index 43a0cdb9..bfe2023d 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c b/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c index db32d7d6..0f6c66cf 100644 --- a/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c +++ b/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_cbmc_state.c b/test/cbmc/sources/cellular_cbmc_state.c index 35ba6d1d..293d278b 100644 --- a/test/cbmc/sources/cellular_cbmc_state.c +++ b/test/cbmc/sources/cellular_cbmc_state.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_modules.c b/test/cbmc/sources/cellular_modules.c index 471d2360..cdf9fcfa 100644 --- a/test/cbmc/sources/cellular_modules.c +++ b/test/cbmc/sources/cellular_modules.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_platform.c b/test/cbmc/sources/cellular_platform.c index ec0771f0..96f4559b 100644 --- a/test/cbmc/sources/cellular_platform.c +++ b/test/cbmc/sources/cellular_platform.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/global_state_cellular.c b/test/cbmc/sources/global_state_cellular.c index dca7a8cb..8cc82167 100644 --- a/test/cbmc/sources/global_state_cellular.c +++ b/test/cbmc/sources/global_state_cellular.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/bsearch.c b/test/cbmc/stubs/bsearch.c index 281dacfd..eec3804f 100644 --- a/test/cbmc/stubs/bsearch.c +++ b/test/cbmc/stubs/bsearch.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/memchr.c b/test/cbmc/stubs/memchr.c index e7a30082..b31e7365 100644 --- a/test/cbmc/stubs/memchr.c +++ b/test/cbmc/stubs/memchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/snprintf.c b/test/cbmc/stubs/snprintf.c index db49a453..1a681dee 100644 --- a/test/cbmc/stubs/snprintf.c +++ b/test/cbmc/stubs/snprintf.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strchr.c b/test/cbmc/stubs/strchr.c index 78007c41..02633b8c 100644 --- a/test/cbmc/stubs/strchr.c +++ b/test/cbmc/stubs/strchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index f4a41acd..8c569cbe 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strnlen.c b/test/cbmc/stubs/strnlen.c index a19152c1..e8a1578d 100644 --- a/test/cbmc/stubs/strnlen.c +++ b/test/cbmc/stubs/strnlen.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strstr.c b/test/cbmc/stubs/strstr.c index a7003711..ae409426 100644 --- a/test/cbmc/stubs/strstr.c +++ b/test/cbmc/stubs/strstr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strtok.c b/test/cbmc/stubs/strtok.c index bc92f639..b8f624e3 100644 --- a/test/cbmc/stubs/strtok.c +++ b/test/cbmc/stubs/strtok.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strtol.c b/test/cbmc/stubs/strtol.c index c172e4e5..b66ad790 100644 --- a/test/cbmc/stubs/strtol.c +++ b/test/cbmc/stubs/strtol.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_3gpp_api_utest.c b/test/unit-test/cellular_3gpp_api_utest.c index 219d900b..ef4ab9e2 100644 --- a/test/unit-test/cellular_3gpp_api_utest.c +++ b/test/unit-test/cellular_3gpp_api_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_3gpp_urc_handler_utest.c b/test/unit-test/cellular_3gpp_urc_handler_utest.c index e2c1fa89..6318f33f 100644 --- a/test/unit-test/cellular_3gpp_urc_handler_utest.c +++ b/test/unit-test/cellular_3gpp_urc_handler_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_at_core_utest.c b/test/unit-test/cellular_at_core_utest.c index 42cf7377..2e729eae 100644 --- a/test/unit-test/cellular_at_core_utest.c +++ b/test/unit-test/cellular_at_core_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_common_api_utest.c b/test/unit-test/cellular_common_api_utest.c index a0017f68..969b2681 100644 --- a/test/unit-test/cellular_common_api_utest.c +++ b/test/unit-test/cellular_common_api_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_common_utest.c b/test/unit-test/cellular_common_utest.c index a726ee99..01550f36 100644 --- a/test/unit-test/cellular_common_utest.c +++ b/test/unit-test/cellular_common_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_config.h b/test/unit-test/cellular_config.h index a98fa8d4..41b6a6c4 100644 --- a/test/unit-test/cellular_config.h +++ b/test/unit-test/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_pkthandler_utest.c b/test/unit-test/cellular_pkthandler_utest.c index 6cb37d24..9b70002e 100644 --- a/test/unit-test/cellular_pkthandler_utest.c +++ b/test/unit-test/cellular_pkthandler_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_pktio_utest.c b/test/unit-test/cellular_pktio_utest.c index 7fe84846..2f21db3b 100644 --- a/test/unit-test/cellular_pktio_utest.c +++ b/test/unit-test/cellular_pktio_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_platform.h b/test/unit-test/cellular_platform.h index f7841002..60fb7678 100644 --- a/test/unit-test/cellular_platform.h +++ b/test/unit-test/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/logging/logging_levels.h b/test/unit-test/logging/logging_levels.h index c3e9cb09..12022bd0 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/logging/logging_stack.h b/test/unit-test/logging/logging_stack.h index 151b15a8..cd6216b4 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.3.0 + * FreeRTOS-Cellular-Interface v1.4.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT