FreeRTOS · ActoryOu · Dec 17, 2024 · Dec 11, 2024 · Dec 12, 2024 · Dec 12, 2024
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -30,6 +30,18 @@ jobs:
           VERSION_NUMBER: ${{ github.event.inputs.version_number }}
           COMMIT_ID: ${{ github.event.inputs.commit_id }}
         run: git checkout -b "$VERSION_NUMBER" "$COMMIT_ID"
+      - name: Update version number in source files
+        env:
+          VERSION_NUMBER: ${{ github.event.inputs.version_number }}
+          source_folder_list: "source test"
+        run: |
+            echo "${{ env.source_folder_list }}" | \
+            xargs -n 1 sh -c \
+            'find $0 -type f \( -name "*.c" -o -name "*.h" \) \
+            -exec sed -i -b -E "0,/^ \* FreeRTOS-Cellular-Interface/s/^ \* FreeRTOS-Cellular-Interface.*/ \* FreeRTOS-Cellular-Interface $VERSION_NUMBER/g" {} +'
+            git add .
+            git commit -m '[AUTO][RELEASE]: Update version number in source files'
+            git push -u origin "$VERSION_NUMBER"
       - name: Generate SBOM
         uses: FreeRTOS/CI-CD-Github-Actions/sbom-generator@main
         with:

diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,4 @@
 [submodule "test/unit-test/CMock"]
 	path = test/unit-test/CMock
 	url = https://github.com/ThrowTheSwitch/CMock
+	update = none
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,16 @@
 # Change Log for FreeRTOS Cellular Interface Library
 
+## v1.4.1 (December 2024)
+
+### Updates
+
+- [#177](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/177)
+Fix freertos.org link in the source and doxygen files
+- [#180](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/180)
+Replace Synopsys link with blackduck one to solve link error.
+- [#185](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/185)
+Enable typedef to make docs able to link *_t structs.
+
 ## v1.4.0 (May 2024)
 
 ### Updates

diff --git 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.4.0
+PROJECT_NUMBER         = v1.4.1
 
 # 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
@@ -1,5 +1,5 @@
 name : "FreeRTOS-Cellular-Interface"
-version: "v1.4.0"
+version: "v1.4.1+"
 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/test/cbmc/include/cellular_cbmc_state.h b/test/cbmc/include/cellular_cbmc_state.h
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c b/.../proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...ofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c b/...ofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/...roofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c b/...roofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c b/.../proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * 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
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT

diff --git a/.../proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c b/.../proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c
@@ -1,5 +1,5 @@
 /*
- * FreeRTOS-Cellular-Interface v1.4.0
+ * FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
  * Copyright (C) 2021 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT