From eba5e4b1fd59cba6f41731e51d7985690018b1e6 Mon Sep 17 00:00:00 2001 From: AniruddhaKanhere <60444055+AniruddhaKanhere@users.noreply.github.com> Date: Wed, 4 Feb 2026 22:06:08 +0000 Subject: [PATCH] Remove instances of --- source/cellular_3gpp_api.c | 2 +- source/cellular_3gpp_urc_handler.c | 2 +- source/cellular_at_core.c | 2 +- source/cellular_common.c | 2 +- source/cellular_common_api.c | 2 +- source/cellular_pkthandler.c | 2 +- source/cellular_pktio.c | 2 +- source/include/cellular_api.h | 2 +- source/include/cellular_config_defaults.h | 2 +- source/include/cellular_types.h | 2 +- source/include/common/cellular_at_core.h | 2 +- source/include/common/cellular_common.h | 2 +- source/include/common/cellular_common_api.h | 2 +- source/include/common/cellular_common_portable.h | 2 +- source/include/private/cellular_common_internal.h | 2 +- source/include/private/cellular_internal.h | 2 +- source/include/private/cellular_pkthandler_internal.h | 2 +- source/include/private/cellular_pktio_internal.h | 2 +- source/interface/cellular_comm_interface.h | 2 +- test/cbmc/include/cellular_cbmc_state.h | 2 +- test/cbmc/include/cellular_config.h | 2 +- test/cbmc/include/cellular_platform.h | 2 +- .../Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c | 2 +- .../Cellular_ATGetSpecificNextTok_harness.c | 2 +- .../Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c | 2 +- .../Cellular_ATIsPrefixPresent_harness.c | 2 +- .../Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c | 2 +- .../Cellular_ATRemoveAllDoubleQuote_harness.c | 2 +- .../Cellular_ATRemoveAllWhiteSpaces_harness.c | 2 +- .../Cellular_ATRemoveLeadingWhiteSpaces_harness.c | 2 +- .../Cellular_ATRemoveOutermostDoubleQuote_harness.c | 2 +- .../Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c | 2 +- .../Cellular_ATRemoveTrailingWhiteSpaces_harness.c | 2 +- test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c | 2 +- .../Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c | 2 +- test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c | 2 +- .../Cellular_ATcheckErrorCode_harness.c | 2 +- .../Cellular_CommonATCommandRaw_harness.c | 2 +- .../Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c | 2 +- .../Cellular_CommonCreateSocket_harness.c | 2 +- .../Cellular_CommonGetEidrxSettings_harness.c | 2 +- .../Cellular_CommonGetIPAddress_harness.c | 2 +- .../Cellular_CommonGetModemInfo_harness.c | 2 +- .../Cellular_CommonGetNetworkTime_harness.c | 2 +- .../Cellular_CommonGetPsmSettings_harness.c | 2 +- .../Cellular_CommonGetRegisteredNetwork_harness.c | 2 +- .../Cellular_CommonGetServiceStatus_harness.c | 2 +- .../Cellular_CommonGetSimCardInfo_harness.c | 2 +- .../Cellular_CommonGetSimCardLockStatus_harness.c | 2 +- .../proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c | 2 +- .../Cellular_CommonRegisterModemEventCallback_harness.c | 2 +- .../Cellular_CommonRegisterUrcGenericCallback_harness.c | 2 +- ..._CommonRegisterUrcNetworkRegistrationEventCallback_harness.c | 2 +- .../Cellular_CommonRegisterUrcPdnEventCallback_harness.c | 2 +- ...lar_CommonRegisterUrcSignalStrengthChangedCallback_harness.c | 2 +- .../proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c | 2 +- .../proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c | 2 +- .../Cellular_CommonSetEidrxSettings_harness.c | 2 +- .../Cellular_CommonSetPdnConfig_harness.c | 2 +- .../Cellular_CommonSetPsmSettings_harness.c | 2 +- .../Cellular_CommonSocketRegisterClosedCallback_harness.c | 2 +- .../Cellular_CommonSocketRegisterDataReadyCallback_harness.c | 2 +- .../Cellular_CommonSocketRegisterSocketOpenCallback_harness.c | 2 +- .../Cellular_CommonSocketSetSockOpt_harness.c | 2 +- .../Cellular_CommonUrcProcessCereg_harness.c | 2 +- .../Cellular_CommonUrcProcessCgreg_harness.c | 2 +- .../Cellular_CommonUrcProcessCreg_harness.c | 2 +- .../_Cellular_ComputeSignalBars_harness.c | 2 +- .../_Cellular_ConvertCsqSignalBer_harness.c | 2 +- .../_Cellular_ConvertCsqSignalRssi_harness.c | 2 +- .../_Cellular_GenericCallback_harness.c | 2 +- .../_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c | 2 +- .../_Cellular_GetModuleContext_harness.c | 2 +- .../_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c | 2 +- .../_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c | 2 +- .../proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c | 2 +- .../_Cellular_ModemEventCallback_harness.c | 2 +- .../_Cellular_NetworkRegistrationCallback_harness.c | 2 +- .../_Cellular_PdnEventCallback_harness.c | 2 +- .../_Cellular_RemoveSocketData_harness.c | 2 +- .../_Cellular_SignalStrengthChangedCallback_harness.c | 2 +- .../_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c | 2 +- .../_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c | 2 +- .../_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c | 2 +- .../_Cellular_TranslateAtCoreStatus_harness.c | 2 +- test/cbmc/sources/cellular_cbmc_state.c | 2 +- test/cbmc/sources/cellular_modules.c | 2 +- test/cbmc/sources/cellular_platform.c | 2 +- test/cbmc/sources/global_state_cellular.c | 2 +- test/cbmc/stubs/bsearch.c | 2 +- test/cbmc/stubs/memchr.c | 2 +- test/cbmc/stubs/snprintf.c | 2 +- test/cbmc/stubs/strchr.c | 2 +- test/cbmc/stubs/strncpy.c | 2 +- test/cbmc/stubs/strnlen.c | 2 +- test/cbmc/stubs/strstr.c | 2 +- test/cbmc/stubs/strtok.c | 2 +- test/cbmc/stubs/strtol.c | 2 +- test/unit-test/cellular_3gpp_api_utest.c | 2 +- test/unit-test/cellular_3gpp_urc_handler_utest.c | 2 +- test/unit-test/cellular_at_core_utest.c | 2 +- test/unit-test/cellular_common_api_utest.c | 2 +- test/unit-test/cellular_common_utest.c | 2 +- test/unit-test/cellular_config.h | 2 +- test/unit-test/cellular_pkthandler_utest.c | 2 +- test/unit-test/cellular_pktio_utest.c | 2 +- test/unit-test/cellular_platform.h | 2 +- test/unit-test/logging/logging_levels.h | 2 +- test/unit-test/logging/logging_stack.h | 2 +- 109 files changed, 109 insertions(+), 109 deletions(-) diff --git a/source/cellular_3gpp_api.c b/source/cellular_3gpp_api.c index 530019f2..a1de7399 100644 --- a/source/cellular_3gpp_api.c +++ b/source/cellular_3gpp_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 50205faa..27db6e58 100644 --- a/source/cellular_3gpp_urc_handler.c +++ b/source/cellular_3gpp_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 f3634478..9522fa86 100644 --- a/source/cellular_at_core.c +++ b/source/cellular_at_core.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 53e2d061..9d15b41b 100644 --- a/source/cellular_common.c +++ b/source/cellular_common.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 fd265357..9f4a3f47 100644 --- a/source/cellular_common_api.c +++ b/source/cellular_common_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 00242edd..3dec9b70 100644 --- a/source/cellular_pkthandler.c +++ b/source/cellular_pkthandler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 19c3c4f8..39caca0c 100644 --- a/source/cellular_pktio.c +++ b/source/cellular_pktio.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 62b59fe9..45f5b351 100644 --- a/source/include/cellular_api.h +++ b/source/include/cellular_api.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 9a120aab..0518d29a 100644 --- a/source/include/cellular_config_defaults.h +++ b/source/include/cellular_config_defaults.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 a5f5ea59..d79dad33 100644 --- a/source/include/cellular_types.h +++ b/source/include/cellular_types.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 3c7c3e91..c494a987 100644 --- a/source/include/common/cellular_at_core.h +++ b/source/include/common/cellular_at_core.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 c5654cf2..a7ee4b82 100644 --- a/source/include/common/cellular_common.h +++ b/source/include/common/cellular_common.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 0da699eb..644f2f4c 100644 --- a/source/include/common/cellular_common_api.h +++ b/source/include/common/cellular_common_api.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 5fa5d65a..0f592187 100644 --- a/source/include/common/cellular_common_portable.h +++ b/source/include/common/cellular_common_portable.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 f632fe37..a2421715 100644 --- a/source/include/private/cellular_common_internal.h +++ b/source/include/private/cellular_common_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 64ade5e1..ada61534 100644 --- a/source/include/private/cellular_internal.h +++ b/source/include/private/cellular_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 f0163c56..25b0074d 100644 --- a/source/include/private/cellular_pkthandler_internal.h +++ b/source/include/private/cellular_pkthandler_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 02e76d82..2fd53458 100644 --- a/source/include/private/cellular_pktio_internal.h +++ b/source/include/private/cellular_pktio_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 1503a706..42e8bcca 100644 --- a/source/interface/cellular_comm_interface.h +++ b/source/interface/cellular_comm_interface.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 4b4f1073..2498b64d 100644 --- a/test/cbmc/include/cellular_cbmc_state.h +++ b/test/cbmc/include/cellular_cbmc_state.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 675937af..123ecc8d 100644 --- a/test/cbmc/include/cellular_config.h +++ b/test/cbmc/include/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 6bb60f84..a825ba8b 100644 --- a/test/cbmc/include/cellular_platform.h +++ b/test/cbmc/include/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 175791b6..dd84c73c 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 + * 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 151f00e9..91bfa110 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 + * 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 12012f5e..80744f77 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 + * 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 104937fe..48afd291 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 + * 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 1bb5330a..19444bcd 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 + * 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 79e4ec4a..c94d6464 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 + * 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 1ec0c36e..afa836d3 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 + * 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 25c5e713..68aeaec0 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 + * 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 6e26f3ea..164e1b2d 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 + * 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 4bf16a5e..9058e597 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 + * 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 16c160c3..8f7bf380 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 + * 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 0be55431..23a63183 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 + * 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 f1517ec3..d3154901 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 + * 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 5e6e0c6e..40df1cca 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 + * 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 1acdbdac..55f9442e 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 + * 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 5232848f..3f50829a 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 + * 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 6511020c..e492efab 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 + * 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 5c5240a6..d8e8e9be 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 + * 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 fae33567..b70d2abc 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 + * 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 35091608..62f0cff5 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 + * 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 ba0f4512..cd397174 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 + * 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 fe8ca501..4a90a600 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 + * 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 f883519b..09e0feea 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 + * 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 8f81713a..2b8a90a8 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 + * 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 fc2ec85d..0b55e395 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 + * 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 d356680e..66ea1393 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 + * 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 4ea83335..d63387f5 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 + * 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 0e440465..c6a9e72b 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 + * 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 a7b508e0..bc7bdca8 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 + * 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 03e396d3..56b78881 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 + * 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 d13f569b..b460d4bd 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 + * 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 f59ae61b..c51a4c66 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 + * 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 936eba4b..6ca3d1dd 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 + * 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 cfe5b5c0..896b3e3a 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 + * 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 9c75b6f0..09f23f02 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 + * 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 6daef85b..252d2b7c 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 + * 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 adb9a437..12d81379 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 + * 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 77059d01..6b16a93f 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 + * 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 dc709744..0396aaab 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 + * 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 62485266..2a8a38b1 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 + * 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 80953431..2aba08a9 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 + * 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 fa9a0d0d..8b5c78fa 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 + * 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 ff2010a1..8497c0cf 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 + * 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 2a6f355e..56be63f5 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 + * 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 fb996144..5f33860c 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 + * 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 b61f18fd..dcde31ad 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 + * 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 dd5466e5..e1a06f4c 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 + * 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 17788be9..c10b295a 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 + * 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 576f6dd6..7e535e8a 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 + * 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 08da6fa1..66da71c0 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 + * 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 c9dafc86..ad4cf2bb 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 + * 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 83e2ac76..f9afdb98 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 + * 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 4254c9a6..ebd4f4a5 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 + * 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 65d20cfb..fffc9406 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 + * 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 6552ab6d..6372bc95 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 + * 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 1998ed54..bff801d3 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 + * 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 8cd8504b..7f3264bc 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 + * 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 01ec6760..e4bebd5b 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 + * 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 5faa9303..aab3d6f6 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 + * 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 b79cf326..3c410e1e 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 + * 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 bcce2e94..0ca03ac0 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 + * 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 af05e9bf..5e06cec7 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 + * 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 100d9469..549038d8 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 + * 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 6feff628..1d2e1363 100644 --- a/test/cbmc/sources/cellular_cbmc_state.c +++ b/test/cbmc/sources/cellular_cbmc_state.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 fcb16e00..08d4346d 100644 --- a/test/cbmc/sources/cellular_modules.c +++ b/test/cbmc/sources/cellular_modules.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 35c5e4d0..36a31f2a 100644 --- a/test/cbmc/sources/cellular_platform.c +++ b/test/cbmc/sources/cellular_platform.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 b2097b71..8f27f2f2 100644 --- a/test/cbmc/sources/global_state_cellular.c +++ b/test/cbmc/sources/global_state_cellular.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 4eeb80bd..bb11a761 100644 --- a/test/cbmc/stubs/bsearch.c +++ b/test/cbmc/stubs/bsearch.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 9145030f..19b64568 100644 --- a/test/cbmc/stubs/memchr.c +++ b/test/cbmc/stubs/memchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 a377b77e..4153d401 100644 --- a/test/cbmc/stubs/snprintf.c +++ b/test/cbmc/stubs/snprintf.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 5ce336a0..4c87d050 100644 --- a/test/cbmc/stubs/strchr.c +++ b/test/cbmc/stubs/strchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 b833a997..c48d5081 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 bcaf261f..0be1a007 100644 --- a/test/cbmc/stubs/strnlen.c +++ b/test/cbmc/stubs/strnlen.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 75993637..da5b501e 100644 --- a/test/cbmc/stubs/strstr.c +++ b/test/cbmc/stubs/strstr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 d8f8675e..6c8aaaff 100644 --- a/test/cbmc/stubs/strtok.c +++ b/test/cbmc/stubs/strtok.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 ca8accc7..6010ad25 100644 --- a/test/cbmc/stubs/strtol.c +++ b/test/cbmc/stubs/strtol.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 7ec5160b..136a342f 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 + * 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 f1ec8a32..6b4c3e35 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 + * 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 6a181b99..6e6f1032 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 + * 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 670f003a..4dbb47cb 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 + * 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 a470cf9c..274df9e9 100644 --- a/test/unit-test/cellular_common_utest.c +++ b/test/unit-test/cellular_common_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 1b2bb7d6..334096e8 100644 --- a/test/unit-test/cellular_config.h +++ b/test/unit-test/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 756b7df4..ebf19e30 100644 --- a/test/unit-test/cellular_pkthandler_utest.c +++ b/test/unit-test/cellular_pkthandler_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 a4269f0c..08cb3980 100644 --- a/test/unit-test/cellular_pktio_utest.c +++ b/test/unit-test/cellular_pktio_utest.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 a93f9443..90553a4e 100644 --- a/test/unit-test/cellular_platform.h +++ b/test/unit-test/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 5dc1fbb4..92edda78 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * 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 ed0e6e4d..5b89920e 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface + * FreeRTOS-Cellular-Interface * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * SPDX-License-Identifier: MIT