Skip to content

Commit 7f8e490

Browse files
ActoryOuActoryOu
committed
[AUTO][RELEASE]: Update version number in source files
1 parent ca3f79e commit 7f8e490

File tree

109 files changed

+109
-109
lines changed

Some content is hidden

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

109 files changed

+109
-109
lines changed

‎source/cellular_3gpp_api.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

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

‎source/cellular_at_core.c

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

‎source/cellular_common.c

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

‎source/cellular_common_api.c

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

‎source/cellular_pkthandler.c

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

‎source/cellular_pktio.c

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

‎source/include/cellular_api.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

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

‎source/include/cellular_types.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
/*
2-
* FreeRTOS-Cellular-Interface <DEVELOPMENT BRANCH>
2+
* FreeRTOS-Cellular-Interface v1.4.1
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

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

‎test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c

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

‎test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c

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

0 commit comments

Comments
 (0)