Skip to content

Commit c291099

Browse files
ActoryOuActoryOu
authored
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.
1 parent 00188a7 commit c291099

File tree

116 files changed

+136
-112
lines changed

Some content is hidden

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

116 files changed

+136
-112
lines changed

‎.github/workflows/release.yml

+12
Original file line numberDiff line numberDiff line change
@@ -30,6 +30,18 @@ jobs:
3030
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
3131
COMMIT_ID: ${{ github.event.inputs.commit_id }}
3232
run: git checkout -b "$VERSION_NUMBER" "$COMMIT_ID"
33+
- name: Update version number in source files
34+
env:
35+
VERSION_NUMBER: ${{ github.event.inputs.version_number }}
36+
source_folder_list: "source test"
37+
run: |
38+
echo "${{ env.source_folder_list }}" | \
39+
xargs -n 1 sh -c \
40+
'find $0 -type f \( -name "*.c" -o -name "*.h" \) \
41+
-exec sed -i -b -E "0,/^ \* FreeRTOS-Cellular-Interface/s/^ \* FreeRTOS-Cellular-Interface.*/ \* FreeRTOS-Cellular-Interface $VERSION_NUMBER/g" {} +'
42+
git add .
43+
git commit -m '[AUTO][RELEASE]: Update version number in source files'
44+
git push -u origin "$VERSION_NUMBER"
3345
- name: Generate SBOM
3446
uses: FreeRTOS/CI-CD-Github-Actions/sbom-generator@main
3547
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

‎test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_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)