Skip to content

Commit ca3f79e

Browse files
ActoryOuActoryOu
authored
Merge update version to v1.4.1-patch branch. (#188)
* Update version number by release flow (#187) * Update release.yml to update version number automatically. * Update version in manifest.yml and config.doxyfile. * Update change log. * Update manifest.
1 parent 82ec945 commit ca3f79e

File tree

115 files changed

+140
-115
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

115 files changed

+140
-115
lines changed

‎.github/workflows/release.yml

+16-3
Original file line numberDiff line numberDiff line change
@@ -24,9 +24,22 @@ jobs:
2424
git config --global user.name ${{ github.actor }}
2525
git config --global user.email ${{ github.actor }}@users.noreply.github.com
2626
- name: create a new branch that references commit id
27-
run:
28-
git checkout -b ${{ github.event.inputs.version_number }} ${{
29-
github.event.inputs.commit_id }}
27+
env:
28+
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
29+
COMMIT_ID: ${{ github.event.inputs.commit_id }}
30+
run: git checkout -b "$VERSION_NUMBER" "$COMMIT_ID"
31+
- name: Update version number in source files
32+
env:
33+
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
34+
source_folder_list: "source test"
35+
run: |
36+
echo "${{ env.source_folder_list }}" | \
37+
xargs -n 1 sh -c \
38+
'find $0 -type f \( -name "*.c" -o -name "*.h" \) \
39+
-exec sed -i -b -E "0,/^ \* FreeRTOS-Cellular-Interface/s/^ \* FreeRTOS-Cellular-Interface.*/ \* FreeRTOS-Cellular-Interface $VERSION_NUMBER/g" {} +'
40+
git add .
41+
git commit -m '[AUTO][RELEASE]: Update version number in source files'
42+
git push -u origin "$VERSION_NUMBER"
3043
- name: Generate SBOM
3144
uses: FreeRTOS/CI-CD-Github-Actions/sbom-generator@main
3245
with:

‎.gitmodules

+1
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
[submodule "test/unit-test/CMock"]
22
path = test/unit-test/CMock
33
url = https://github.com/ThrowTheSwitch/CMock
4+
update = none

‎CHANGELOG.md

+11

‎docs/doxygen/config.doxyfile

+1-1
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ PROJECT_NAME = "FreeRTOS: FreeRTOS Cellular Library"
4848
# could be handy for archiving the generated documentation or if some version
4949
# control system is used.
5050

51-
PROJECT_NUMBER = v1.4.0
51+
PROJECT_NUMBER = v1.4.1
5252

5353
# Using the PROJECT_BRIEF tag one can provide an optional one line description
5454
# for a project that appears at the top of each page and should give viewer a

‎manifest.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
name : "FreeRTOS-Cellular-Interface"
2-
version: "v1.4.0"
2+
version: "v1.4.1"
33
description: |
44
"FreeRTOS Cellular Interface implementation of the 3GPP TS v27.007 standard..\n"
55
license: "MIT"

‎source/cellular_3gpp_api.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_3gpp_urc_handler.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_at_core.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_common.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_common_api.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_pkthandler.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/cellular_pktio.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/cellular_api.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/cellular_config_defaults.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/cellular_types.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/common/cellular_at_core.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/common/cellular_common.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/common/cellular_common_api.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/common/cellular_common_portable.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/private/cellular_common_internal.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/private/cellular_internal.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/private/cellular_pkthandler_internal.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/include/private/cellular_pktio_internal.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎source/interface/cellular_comm_interface.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/include/cellular_cbmc_state.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/include/cellular_config.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/include/cellular_platform.h

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

‎test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface v1.4.0
2+
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
33
* Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved.
44
*
55
* SPDX-License-Identifier: MIT

0 commit comments

Comments
 (0)