Update release.yml to update version number automatically.

ActoryOu · Dec 12, 2024 · 253d29a · 253d29a
1 parent 952391b
commit 253d29a
Show file tree

Hide file tree

Showing 112 changed files with 123 additions and 110 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -30,6 +30,19 @@ 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 }}
+          REPO_NAME: ${{ github.event.repository.name }}
+          source_folder_list: "source test"
+        run: |
+            echo "${{ env.source_folder_list }}" | \
+            xargs -n 1 sh -c \
+            'find $@ -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/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

diff --git 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.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/...ular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c b/...ular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_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/...ular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c b/...ular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_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/...trationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c b/...trationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_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