diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 0b6ea7bb..fa8f24bb 100644 --- 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 index 4046ca87..0e40c486 100644 --- 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 index e6b6bb77..51406ee3 100644 --- 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 * 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 index 94fffc1a..c232de4f 100644 --- 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 * 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 index b1e0d95e..f3634478 100644 --- 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 * 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 index 1e25d6a0..fed822cf 100644 --- a/source/cellular_common.c +++ b/source/cellular_common.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index 8e21d90f..fd265357 100644 --- 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 * 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 index 2e3e5085..942ea139 100644 --- a/source/cellular_pkthandler.c +++ b/source/cellular_pkthandler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index daedaff5..b47fe43d 100644 --- a/source/cellular_pktio.c +++ b/source/cellular_pktio.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index ffff95b5..66f2c653 100644 --- 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 * 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 index c5b06819..9a120aab 100644 --- 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 * 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 index 2fa08a1a..a5f5ea59 100644 --- 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 * 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 index 289925f4..3c7c3e91 100644 --- 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 * 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 index ac5b031f..c5654cf2 100644 --- 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 * 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 index ef2d96b1..0da699eb 100644 --- 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 * 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 index 692c2001..5fa5d65a 100644 --- 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 * 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 index a8b7b57d..f632fe37 100644 --- 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 * 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 index 0992b06e..64ade5e1 100644 --- 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 * 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 index dc5cfa0e..f0163c56 100644 --- 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 * 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 index 5ad7a9dc..02e76d82 100644 --- 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 * 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 index 1239db8e..1503a706 100644 --- 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 * 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 index 4b135959..4b4f1073 100644 --- 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 * 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 index 96067cfc..675937af 100644 --- 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 * 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 index e02aec9e..6bb60f84 100644 --- 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 * 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 index d635b303..175791b6 100644 --- 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 * 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 index b349bffa..151f00e9 100644 --- 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 * 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 index 65409c2a..12012f5e 100644 --- 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 * 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 index d88d525a..104937fe 100644 --- 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 * 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 index 9f63e437..1bb5330a 100644 --- 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 * 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 index 77bb0565..79e4ec4a 100644 --- 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 * 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 index 61d4b264..1ec0c36e 100644 --- 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 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c index b12fd3cb..25c5e713 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c b/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c index 4885cbd6..6e26f3ea 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index 0cd3ce72..4bf16a5e 100644 --- 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 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c index 2cea929d..16c160c3 100644 --- a/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c +++ b/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index 88775796..0be55431 100644 --- 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 * 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 index 44eede67..f1517ec3 100644 --- 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 * 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 index b4a74101..5e6e0c6e 100644 --- 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 * 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 index be7b5280..1acdbdac 100644 --- 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 * 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 index d650fc52..5232848f 100644 --- 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 * 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 index 1321dd4a..6511020c 100644 --- 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 * 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 index 591c9b9b..5c5240a6 100644 --- 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 * 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 index c346bfb0..fae33567 100644 --- 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 * 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 index 137aa219..35091608 100644 --- 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 * 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 index 612dc86a..ba0f4512 100644 --- 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 * 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 index 1a94e414..fe8ca501 100644 --- 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 * 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 index f745213f..f883519b 100644 --- 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 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c b/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c index 55e70c39..8f81713a 100644 --- a/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index e177a207..fc2ec85d 100644 --- 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 * 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 index ba29d2ef..d356680e 100644 --- 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 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c b/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c index 91544b29..4ea83335 100644 --- a/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c +++ b/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * 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 index fd974d1d..0e440465 100644 --- 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 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c index e060970b..a7b508e0 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c index 29d82579..03e396d3 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c index 0cf081af..d13f569b 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c index f7178eeb..f59ae61b 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c index f6113405..936eba4b 100644 --- a/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c b/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c index 60009d8a..cfe5b5c0 100644 --- a/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c b/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c index 5e90a5f7..9c75b6f0 100644 --- a/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c +++ b/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c index c76672ec..6daef85b 100644 --- a/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c b/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c index acb4b25f..adb9a437 100644 --- a/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c index ca5314e6..77059d01 100644 --- a/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c index 7b695067..dc709744 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c index 3310c227..62485266 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c index ab508eea..80953431 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c b/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c index 424076fd..fa9a0d0d 100644 --- a/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c +++ b/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c index 9f999ffb..ff2010a1 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c index c27142db..2a6f355e 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c index 2c91d7d3..fb996144 100644 --- a/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c +++ b/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c b/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c index 8f17ae87..b61f18fd 100644 --- a/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c +++ b/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c index 98331ff9..dd5466e5 100644 --- a/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c +++ b/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c index edb2847c..17788be9 100644 --- a/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c +++ b/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c b/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c index 6bf1b877..576f6dd6 100644 --- a/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c b/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c index c78e2c34..08da6fa1 100644 --- a/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c +++ b/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c b/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c index 3ba49480..c9dafc86 100644 --- a/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c +++ b/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c b/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c index b3811edb..83e2ac76 100644 --- a/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c +++ b/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c b/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c index 9a3db392..4254c9a6 100644 --- a/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c +++ b/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c b/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c index fa16abf4..65d20cfb 100644 --- a/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c +++ b/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c b/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c index cb995726..6552ab6d 100644 --- a/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c b/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c index 2a16ebba..1998ed54 100644 --- a/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c b/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c index 21e2e0cd..8cd8504b 100644 --- a/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c b/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c index c1063678..01ec6760 100644 --- a/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c +++ b/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c index 5b36731a..5faa9303 100644 --- a/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c index d90100a1..b79cf326 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c index 815549cb..bcce2e94 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c index bfe2023d..af05e9bf 100644 --- a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c +++ b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c b/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c index 0f6c66cf..100d9469 100644 --- a/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c +++ b/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_cbmc_state.c b/test/cbmc/sources/cellular_cbmc_state.c index 293d278b..6feff628 100644 --- a/test/cbmc/sources/cellular_cbmc_state.c +++ b/test/cbmc/sources/cellular_cbmc_state.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_modules.c b/test/cbmc/sources/cellular_modules.c index cdf9fcfa..fcb16e00 100644 --- a/test/cbmc/sources/cellular_modules.c +++ b/test/cbmc/sources/cellular_modules.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/cellular_platform.c b/test/cbmc/sources/cellular_platform.c index 96f4559b..35c5e4d0 100644 --- a/test/cbmc/sources/cellular_platform.c +++ b/test/cbmc/sources/cellular_platform.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/sources/global_state_cellular.c b/test/cbmc/sources/global_state_cellular.c index 8cc82167..b2097b71 100644 --- a/test/cbmc/sources/global_state_cellular.c +++ b/test/cbmc/sources/global_state_cellular.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/bsearch.c b/test/cbmc/stubs/bsearch.c index eec3804f..4eeb80bd 100644 --- a/test/cbmc/stubs/bsearch.c +++ b/test/cbmc/stubs/bsearch.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/memchr.c b/test/cbmc/stubs/memchr.c index b31e7365..9145030f 100644 --- a/test/cbmc/stubs/memchr.c +++ b/test/cbmc/stubs/memchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/snprintf.c b/test/cbmc/stubs/snprintf.c index 1a681dee..a377b77e 100644 --- a/test/cbmc/stubs/snprintf.c +++ b/test/cbmc/stubs/snprintf.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strchr.c b/test/cbmc/stubs/strchr.c index 02633b8c..5ce336a0 100644 --- a/test/cbmc/stubs/strchr.c +++ b/test/cbmc/stubs/strchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index 8c569cbe..b833a997 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strnlen.c b/test/cbmc/stubs/strnlen.c index e8a1578d..bcaf261f 100644 --- a/test/cbmc/stubs/strnlen.c +++ b/test/cbmc/stubs/strnlen.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strstr.c b/test/cbmc/stubs/strstr.c index ae409426..75993637 100644 --- a/test/cbmc/stubs/strstr.c +++ b/test/cbmc/stubs/strstr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strtok.c b/test/cbmc/stubs/strtok.c index b8f624e3..d8f8675e 100644 --- a/test/cbmc/stubs/strtok.c +++ b/test/cbmc/stubs/strtok.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/cbmc/stubs/strtol.c b/test/cbmc/stubs/strtol.c index b66ad790..ca8accc7 100644 --- a/test/cbmc/stubs/strtol.c +++ b/test/cbmc/stubs/strtol.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_3gpp_api_utest.c b/test/unit-test/cellular_3gpp_api_utest.c index ef4ab9e2..7ec5160b 100644 --- a/test/unit-test/cellular_3gpp_api_utest.c +++ b/test/unit-test/cellular_3gpp_api_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_3gpp_urc_handler_utest.c b/test/unit-test/cellular_3gpp_urc_handler_utest.c index fe47fd2d..f1ec8a32 100644 --- a/test/unit-test/cellular_3gpp_urc_handler_utest.c +++ b/test/unit-test/cellular_3gpp_urc_handler_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_at_core_utest.c b/test/unit-test/cellular_at_core_utest.c index 2e729eae..6a181b99 100644 --- a/test/unit-test/cellular_at_core_utest.c +++ b/test/unit-test/cellular_at_core_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_common_api_utest.c b/test/unit-test/cellular_common_api_utest.c index 969b2681..670f003a 100644 --- a/test/unit-test/cellular_common_api_utest.c +++ b/test/unit-test/cellular_common_api_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_common_utest.c b/test/unit-test/cellular_common_utest.c index 01550f36..a470cf9c 100644 --- a/test/unit-test/cellular_common_utest.c +++ b/test/unit-test/cellular_common_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_config.h b/test/unit-test/cellular_config.h index 41b6a6c4..1b2bb7d6 100644 --- a/test/unit-test/cellular_config.h +++ b/test/unit-test/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_pkthandler_utest.c b/test/unit-test/cellular_pkthandler_utest.c index 9b70002e..756b7df4 100644 --- a/test/unit-test/cellular_pkthandler_utest.c +++ b/test/unit-test/cellular_pkthandler_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_pktio_utest.c b/test/unit-test/cellular_pktio_utest.c index 2f21db3b..a4269f0c 100644 --- a/test/unit-test/cellular_pktio_utest.c +++ b/test/unit-test/cellular_pktio_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/cellular_platform.h b/test/unit-test/cellular_platform.h index 8cc5d4ec..a93f9443 100644 --- a/test/unit-test/cellular_platform.h +++ b/test/unit-test/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/logging/logging_levels.h b/test/unit-test/logging/logging_levels.h index 12022bd0..5dc1fbb4 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/test/unit-test/logging/logging_stack.h b/test/unit-test/logging/logging_stack.h index cd6216b4..ed0e6e4d 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.4.0 + * FreeRTOS-Cellular-Interface * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT diff --git a/tools/coverity/testing.c b/tools/coverity/testing.c new file mode 100644 index 00000000..e69de29b