From 0289b787b745d0c675fb12ef002574d98d4b402e Mon Sep 17 00:00:00 2001 From: chinglee-iot <61685396+chinglee-iot@users.noreply.github.com> Date: Thu, 16 Dec 2021 09:35:42 +0800 Subject: [PATCH] Update new release version to v1.2.0 (#73) * Update version to v1.2.0 --- CHANGELOG.md | 13 +++++++++++++ docs/doxygen/config.doxyfile | 2 +- modules/bg96/cellular_bg96.c | 2 +- modules/bg96/cellular_bg96.h | 2 +- modules/bg96/cellular_bg96_api.c | 2 +- modules/bg96/cellular_bg96_urc_handler.c | 2 +- modules/bg96/cellular_bg96_wrapper.c | 2 +- modules/hl7802/cellular_hl7802.c | 2 +- modules/hl7802/cellular_hl7802.h | 2 +- modules/hl7802/cellular_hl7802_api.c | 2 +- modules/hl7802/cellular_hl7802_urc_handler.c | 2 +- modules/hl7802/cellular_hl7802_wrapper.c | 2 +- modules/sara_r4/cellular_r4.c | 2 +- modules/sara_r4/cellular_r4.h | 2 +- modules/sara_r4/cellular_r4_api.c | 2 +- modules/sara_r4/cellular_r4_urc_handler.c | 2 +- modules/sara_r4/cellular_r4_wrapper.c | 2 +- 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 +- .../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_harness.c | 2 +- .../Cellular_ATGetSpecificNextTok_harness.c | 2 +- .../Cellular_ATHexStrToHex_harness.c | 2 +- .../Cellular_ATIsPrefixPresent_harness.c | 2 +- .../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_harness.c | 2 +- .../Cellular_ATRemoveTrailingWhiteSpaces_harness.c | 2 +- .../Cellular_ATStrDup/Cellular_ATStrDup_harness.c | 2 +- .../Cellular_ATStrStartWith_harness.c | 2 +- .../Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c | 2 +- .../Cellular_ATcheckErrorCode_harness.c | 2 +- .../Cellular_CommonATCommandRaw_harness.c | 2 +- .../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 +- .../Cellular_CommonInit_harness.c | 2 +- ...lular_CommonRegisterModemEventCallback_harness.c | 2 +- ...lular_CommonRegisterUrcGenericCallback_harness.c | 2 +- ...terUrcNetworkRegistrationEventCallback_harness.c | 2 +- ...ular_CommonRegisterUrcPdnEventCallback_harness.c | 2 +- ...gisterUrcSignalStrengthChangedCallback_harness.c | 2 +- .../Cellular_CommonRfOff_harness.c | 2 +- .../Cellular_CommonRfOn_harness.c | 2 +- .../Cellular_CommonSetEidrxSettings_harness.c | 2 +- .../Cellular_CommonSetPdnConfig_harness.c | 2 +- .../Cellular_CommonSetPsmSettings_harness.c | 2 +- ...lar_CommonSocketRegisterClosedCallback_harness.c | 2 +- ..._CommonSocketRegisterDataReadyCallback_harness.c | 2 +- ...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_harness.c | 2 +- .../_Cellular_GetModuleContext_harness.c | 2 +- .../_Cellular_GetSocketData_harness.c | 2 +- .../_Cellular_IsValidSocket_harness.c | 2 +- .../_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 +- ...imeoutAtcmdDataRecvRequestWithCallback_harness.c | 2 +- ...imeoutAtcmdDataSendRequestWithCallback_harness.c | 2 +- ...lular_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 +- 124 files changed, 136 insertions(+), 123 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7f61967f..fb46c2fc 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,18 @@ # Change Log for FreeRTOS Cellular Interface Library +## v1.2.0 (December 2021) +### Updates + - [#62](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/62) Fix uintptr compile error. + - [#67](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/67) Fix too many arguments log. + - [#64](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/64) Remove strnlen usage. + +### Other + - [#63](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/63) Fix broken links. + - [#61](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/61) Fix typo in README.md. + - [#69](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/69) Loop invariant update. + - [#65](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/65) Submodule community ports repo to third party folder. + - [#70](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/70) fix CBMC potential issues. + ## v1.1.0 (November 2021) ### Updates - [#40](https://github.com/FreeRTOS/FreeRTOS-Cellular-Interface/pull/40) Fix the module logging mechanism format. diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index f768b228..a3e1cab8 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "FreeRTOS: FreeRTOS Cellular Library" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v1.1.0 +PROJECT_NUMBER = v1.2.0 # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/modules/bg96/cellular_bg96.c b/modules/bg96/cellular_bg96.c index ba511fbc..b5a9f803 100644 --- a/modules/bg96/cellular_bg96.c +++ b/modules/bg96/cellular_bg96.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/bg96/cellular_bg96.h b/modules/bg96/cellular_bg96.h index fc268c28..3d654986 100644 --- a/modules/bg96/cellular_bg96.h +++ b/modules/bg96/cellular_bg96.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/bg96/cellular_bg96_api.c b/modules/bg96/cellular_bg96_api.c index 4d678c46..f5c1c617 100644 --- a/modules/bg96/cellular_bg96_api.c +++ b/modules/bg96/cellular_bg96_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/bg96/cellular_bg96_urc_handler.c b/modules/bg96/cellular_bg96_urc_handler.c index 7e0bc80b..7a466d0a 100644 --- a/modules/bg96/cellular_bg96_urc_handler.c +++ b/modules/bg96/cellular_bg96_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/bg96/cellular_bg96_wrapper.c b/modules/bg96/cellular_bg96_wrapper.c index 429285df..0d79831e 100644 --- a/modules/bg96/cellular_bg96_wrapper.c +++ b/modules/bg96/cellular_bg96_wrapper.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/hl7802/cellular_hl7802.c b/modules/hl7802/cellular_hl7802.c index 0f973308..24785053 100644 --- a/modules/hl7802/cellular_hl7802.c +++ b/modules/hl7802/cellular_hl7802.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/hl7802/cellular_hl7802.h b/modules/hl7802/cellular_hl7802.h index a54ad705..118e70d5 100644 --- a/modules/hl7802/cellular_hl7802.h +++ b/modules/hl7802/cellular_hl7802.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/hl7802/cellular_hl7802_api.c b/modules/hl7802/cellular_hl7802_api.c index 28fa5e5e..7bc9c5b7 100644 --- a/modules/hl7802/cellular_hl7802_api.c +++ b/modules/hl7802/cellular_hl7802_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/hl7802/cellular_hl7802_urc_handler.c b/modules/hl7802/cellular_hl7802_urc_handler.c index 1c16dc68..26fee52f 100644 --- a/modules/hl7802/cellular_hl7802_urc_handler.c +++ b/modules/hl7802/cellular_hl7802_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/hl7802/cellular_hl7802_wrapper.c b/modules/hl7802/cellular_hl7802_wrapper.c index 5390893d..71352cc0 100644 --- a/modules/hl7802/cellular_hl7802_wrapper.c +++ b/modules/hl7802/cellular_hl7802_wrapper.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/sara_r4/cellular_r4.c b/modules/sara_r4/cellular_r4.c index 88147a78..2f8a5a5c 100644 --- a/modules/sara_r4/cellular_r4.c +++ b/modules/sara_r4/cellular_r4.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/sara_r4/cellular_r4.h b/modules/sara_r4/cellular_r4.h index 9cbdbcca..454cb9f9 100644 --- a/modules/sara_r4/cellular_r4.h +++ b/modules/sara_r4/cellular_r4.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/sara_r4/cellular_r4_api.c b/modules/sara_r4/cellular_r4_api.c index 0d23e1c3..7b5659a5 100644 --- a/modules/sara_r4/cellular_r4_api.c +++ b/modules/sara_r4/cellular_r4_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/sara_r4/cellular_r4_urc_handler.c b/modules/sara_r4/cellular_r4_urc_handler.c index e8c0895c..18963322 100644 --- a/modules/sara_r4/cellular_r4_urc_handler.c +++ b/modules/sara_r4/cellular_r4_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/modules/sara_r4/cellular_r4_wrapper.c b/modules/sara_r4/cellular_r4_wrapper.c index 9c5bb1f2..bffb9ff5 100644 --- a/modules/sara_r4/cellular_r4_wrapper.c +++ b/modules/sara_r4/cellular_r4_wrapper.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_3gpp_api.c b/source/cellular_3gpp_api.c index 031ecca8..debc7174 100644 --- a/source/cellular_3gpp_api.c +++ b/source/cellular_3gpp_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_3gpp_urc_handler.c b/source/cellular_3gpp_urc_handler.c index 94584641..f278b489 100644 --- a/source/cellular_3gpp_urc_handler.c +++ b/source/cellular_3gpp_urc_handler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_at_core.c b/source/cellular_at_core.c index facd5675..8675cc40 100644 --- a/source/cellular_at_core.c +++ b/source/cellular_at_core.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_common.c b/source/cellular_common.c index e2945099..b1b75796 100644 --- a/source/cellular_common.c +++ b/source/cellular_common.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_common_api.c b/source/cellular_common_api.c index e5ed8177..3ae081bd 100644 --- a/source/cellular_common_api.c +++ b/source/cellular_common_api.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_pkthandler.c b/source/cellular_pkthandler.c index 9f78e6cf..07922aa1 100644 --- a/source/cellular_pkthandler.c +++ b/source/cellular_pkthandler.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/cellular_pktio.c b/source/cellular_pktio.c index 509d7fa6..b66d0a04 100644 --- a/source/cellular_pktio.c +++ b/source/cellular_pktio.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/cellular_api.h b/source/include/cellular_api.h index 2c77fbd0..90d8289e 100644 --- a/source/include/cellular_api.h +++ b/source/include/cellular_api.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/cellular_config_defaults.h b/source/include/cellular_config_defaults.h index 7a9a8354..5ef60263 100644 --- a/source/include/cellular_config_defaults.h +++ b/source/include/cellular_config_defaults.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/cellular_types.h b/source/include/cellular_types.h index 5019cfcd..3bbfb184 100644 --- a/source/include/cellular_types.h +++ b/source/include/cellular_types.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/common/cellular_at_core.h b/source/include/common/cellular_at_core.h index 20d7d36c..51052922 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/common/cellular_common.h b/source/include/common/cellular_common.h index c282723e..e9ed9405 100644 --- a/source/include/common/cellular_common.h +++ b/source/include/common/cellular_common.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/common/cellular_common_api.h b/source/include/common/cellular_common_api.h index 4bb68a6c..c6bfa31d 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/common/cellular_common_portable.h b/source/include/common/cellular_common_portable.h index ab9f54a3..36e0c612 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/private/cellular_common_internal.h b/source/include/private/cellular_common_internal.h index 3ea3fa8b..636f47ef 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/private/cellular_internal.h b/source/include/private/cellular_internal.h index 3ee1734d..e678ec66 100644 --- a/source/include/private/cellular_internal.h +++ b/source/include/private/cellular_internal.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/private/cellular_pkthandler_internal.h b/source/include/private/cellular_pkthandler_internal.h index 80ceabea..ab44668e 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/private/cellular_pktio_internal.h b/source/include/private/cellular_pktio_internal.h index 7d12257d..07f31ec6 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/interface/cellular_comm_interface.h b/source/interface/cellular_comm_interface.h index 3881db25..755cd0dd 100644 --- a/source/interface/cellular_comm_interface.h +++ b/source/interface/cellular_comm_interface.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/cellular_cbmc_state.h b/test/cbmc/include/cellular_cbmc_state.h index f6ca7b12..298e71ba 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/cellular_config.h b/test/cbmc/include/cellular_config.h index 228ec533..beadac1e 100644 --- a/test/cbmc/include/cellular_config.h +++ b/test/cbmc/include/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/cellular_platform.h b/test/cbmc/include/cellular_platform.h index 7b620c57..c4394c60 100644 --- a/test/cbmc/include/cellular_platform.h +++ b/test/cbmc/include/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c b/test/cbmc/proofs/Cellular_ATGetNextTok/Cellular_ATGetNextTok_harness.c index 9c570a6b..2e4a30e6 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c b/test/cbmc/proofs/Cellular_ATGetSpecificNextTok/Cellular_ATGetSpecificNextTok_harness.c index 2f4b8e6f..db42ecd2 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c b/test/cbmc/proofs/Cellular_ATHexStrToHex/Cellular_ATHexStrToHex_harness.c index c96414d4..08029f04 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c b/test/cbmc/proofs/Cellular_ATIsPrefixPresent/Cellular_ATIsPrefixPresent_harness.c index 68b35832..19979c0f 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c b/test/cbmc/proofs/Cellular_ATIsStrDigit/Cellular_ATIsStrDigit_harness.c index 34f7e78f..472452d2 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c b/test/cbmc/proofs/Cellular_ATRemoveAllDoubleQuote/Cellular_ATRemoveAllDoubleQuote_harness.c index 31ffe072..f7d38fe7 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveAllWhiteSpaces/Cellular_ATRemoveAllWhiteSpaces_harness.c index 273f260d..cceb0a9a 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveLeadingWhiteSpaces/Cellular_ATRemoveLeadingWhiteSpaces_harness.c index 2de1f624..80f38fbb 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c b/test/cbmc/proofs/Cellular_ATRemoveOutermostDoubleQuote/Cellular_ATRemoveOutermostDoubleQuote_harness.c index 6fc13a0e..636169dd 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c b/test/cbmc/proofs/Cellular_ATRemovePrefix/Cellular_ATRemovePrefix_harness.c index b8b291ba..3cba997b 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c b/test/cbmc/proofs/Cellular_ATRemoveTrailingWhiteSpaces/Cellular_ATRemoveTrailingWhiteSpaces_harness.c index 4074eb39..0da59786 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c b/test/cbmc/proofs/Cellular_ATStrDup/Cellular_ATStrDup_harness.c index e3309cc3..dc08d93d 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c b/test/cbmc/proofs/Cellular_ATStrStartWith/Cellular_ATStrStartWith_harness.c index 50cf3b99..594f0089 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c b/test/cbmc/proofs/Cellular_ATStrtoi/Cellular_ATStrtoi_harness.c index 0e5f85d6..d0ae6f78 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c b/test/cbmc/proofs/Cellular_ATcheckErrorCode/Cellular_ATcheckErrorCode_harness.c index 6a51e42e..1726fc50 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c b/test/cbmc/proofs/Cellular_CommonATCommandRaw/Cellular_CommonATCommandRaw_harness.c index a9e8a515..e8064bcf 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c b/test/cbmc/proofs/Cellular_CommonCleanup/Cellular_CommonCleanup_harness.c index ca9a6751..f6af2ec5 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c b/test/cbmc/proofs/Cellular_CommonCreateSocket/Cellular_CommonCreateSocket_harness.c index fa1ea5c5..b784f904 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c b/test/cbmc/proofs/Cellular_CommonGetEidrxSettings/Cellular_CommonGetEidrxSettings_harness.c index 4e162fe5..7ed65021 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c b/test/cbmc/proofs/Cellular_CommonGetIPAddress/Cellular_CommonGetIPAddress_harness.c index 4c18b058..dcfef8b9 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c b/test/cbmc/proofs/Cellular_CommonGetModemInfo/Cellular_CommonGetModemInfo_harness.c index c6c46205..b8fe84a8 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c b/test/cbmc/proofs/Cellular_CommonGetNetworkTime/Cellular_CommonGetNetworkTime_harness.c index c324157b..17fee997 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c b/test/cbmc/proofs/Cellular_CommonGetPsmSettings/Cellular_CommonGetPsmSettings_harness.c index 86f51a60..2dd2c28b 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c b/test/cbmc/proofs/Cellular_CommonGetRegisteredNetwork/Cellular_CommonGetRegisteredNetwork_harness.c index 9b4fd17c..da8baacb 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c b/test/cbmc/proofs/Cellular_CommonGetServiceStatus/Cellular_CommonGetServiceStatus_harness.c index 92f65064..7dc81883 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c b/test/cbmc/proofs/Cellular_CommonGetSimCardInfo/Cellular_CommonGetSimCardInfo_harness.c index f9f23948..a309931d 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c b/test/cbmc/proofs/Cellular_CommonGetSimCardLockStatus/Cellular_CommonGetSimCardLockStatus_harness.c index 3d16c150..6fbcc1b9 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c b/test/cbmc/proofs/Cellular_CommonInit/Cellular_CommonInit_harness.c index 2e959b0c..fda4b105 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterModemEventCallback/Cellular_CommonRegisterModemEventCallback_harness.c index e925d53a..c661da62 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcGenericCallback/Cellular_CommonRegisterUrcGenericCallback_harness.c index 4d4801fb..bfef9f3b 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback/Cellular_CommonRegisterUrcNetworkRegistrationEventCallback_harness.c index 23a2e120..329ba026 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcPdnEventCallback/Cellular_CommonRegisterUrcPdnEventCallback_harness.c index 010814c9..13aca5cd 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonRegisterUrcSignalStrengthChangedCallback/Cellular_CommonRegisterUrcSignalStrengthChangedCallback_harness.c index da689bdd..ef5e452d 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c b/test/cbmc/proofs/Cellular_CommonRfOff/Cellular_CommonRfOff_harness.c index b4514b9f..a1fc2fa8 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c b/test/cbmc/proofs/Cellular_CommonRfOn/Cellular_CommonRfOn_harness.c index 7df59f6a..c3a965f1 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetEidrxSettings/Cellular_CommonSetEidrxSettings_harness.c index f69e3dd7..de9f83ce 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c b/test/cbmc/proofs/Cellular_CommonSetPdnConfig/Cellular_CommonSetPdnConfig_harness.c index aa6f7542..d8c5b4c3 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c b/test/cbmc/proofs/Cellular_CommonSetPsmSettings/Cellular_CommonSetPsmSettings_harness.c index 709b7bc1..c3439453 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterClosedCallback/Cellular_CommonSocketRegisterClosedCallback_harness.c index 7b3d21cb..1b8bf822 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterDataReadyCallback/Cellular_CommonSocketRegisterDataReadyCallback_harness.c index d1211284..3c94a58e 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c b/test/cbmc/proofs/Cellular_CommonSocketRegisterSocketOpenCallback/Cellular_CommonSocketRegisterSocketOpenCallback_harness.c index 7ca3a777..97d8e75e 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c b/test/cbmc/proofs/Cellular_CommonSocketSetSockOpt/Cellular_CommonSocketSetSockOpt_harness.c index c2281301..d7a4ca59 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCereg/Cellular_CommonUrcProcessCereg_harness.c index 697b5963..5b29d00d 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCgreg/Cellular_CommonUrcProcessCgreg_harness.c index 380a39b4..2f4c79c2 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c b/test/cbmc/proofs/Cellular_CommonUrcProcessCreg/Cellular_CommonUrcProcessCreg_harness.c index f787c0d3..65a33368 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c b/test/cbmc/proofs/_Cellular_ComputeSignalBars/_Cellular_ComputeSignalBars_harness.c index 77fbdf33..dfa7a9bf 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalBer/_Cellular_ConvertCsqSignalBer_harness.c index f7f07e34..a1953734 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c b/test/cbmc/proofs/_Cellular_ConvertCsqSignalRssi/_Cellular_ConvertCsqSignalRssi_harness.c index b48cdf9c..bdd70b87 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c b/test/cbmc/proofs/_Cellular_GenericCallback/_Cellular_GenericCallback_harness.c index 37d4f603..6d82cb90 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c b/test/cbmc/proofs/_Cellular_GetCurrentRat/_Cellular_GetCurrentRat_harness.c index cd716a81..6719309c 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c b/test/cbmc/proofs/_Cellular_GetModuleContext/_Cellular_GetModuleContext_harness.c index 6734b878..6190fcb7 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c b/test/cbmc/proofs/_Cellular_GetSocketData/_Cellular_GetSocketData_harness.c index d3c17632..c6ff9945 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c b/test/cbmc/proofs/_Cellular_IsValidSocket/_Cellular_IsValidSocket_harness.c index 0d7c21c8..e9a03dc6 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c b/test/cbmc/proofs/_Cellular_LibCleanup/_Cellular_LibCleanup_harness.c index 8b3b6ebc..21e60666 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c b/test/cbmc/proofs/_Cellular_ModemEventCallback/_Cellular_ModemEventCallback_harness.c index 7bb3c678..7cdb70ac 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c b/test/cbmc/proofs/_Cellular_NetworkRegistrationCallback/_Cellular_NetworkRegistrationCallback_harness.c index fe0838c5..8ef123bb 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c b/test/cbmc/proofs/_Cellular_PdnEventCallback/_Cellular_PdnEventCallback_harness.c index 16f0de6d..109b3047 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c b/test/cbmc/proofs/_Cellular_RemoveSocketData/_Cellular_RemoveSocketData_harness.c index d1e45aeb..0813329e 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c b/test/cbmc/proofs/_Cellular_SignalStrengthChangedCallback/_Cellular_SignalStrengthChangedCallback_harness.c index 893304f9..b95291ae 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback/_Cellular_TimeoutAtcmdDataRecvRequestWithCallback_harness.c index 433cdbce..af8c3c38 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendRequestWithCallback/_Cellular_TimeoutAtcmdDataSendRequestWithCallback_harness.c index 16904d66..cc1d0e8a 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c b/test/cbmc/proofs/_Cellular_TimeoutAtcmdDataSendSuccessToken/_Cellular_TimeoutAtcmdDataSendSuccessToken_harness.c index e3fb2129..f8ff22ed 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c b/test/cbmc/proofs/_Cellular_TranslateAtCoreStatus/_Cellular_TranslateAtCoreStatus_harness.c index fffa201b..42d8a03e 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/cellular_cbmc_state.c b/test/cbmc/sources/cellular_cbmc_state.c index 53f0a014..bf430018 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/cellular_modules.c b/test/cbmc/sources/cellular_modules.c index 7fab419a..d5021b14 100644 --- a/test/cbmc/sources/cellular_modules.c +++ b/test/cbmc/sources/cellular_modules.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/cellular_platform.c b/test/cbmc/sources/cellular_platform.c index c9e1adb0..72a67743 100644 --- a/test/cbmc/sources/cellular_platform.c +++ b/test/cbmc/sources/cellular_platform.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/global_state_cellular.c b/test/cbmc/sources/global_state_cellular.c index 404283a9..008f9ff4 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/bsearch.c b/test/cbmc/stubs/bsearch.c index b3ef36e1..0c9c92b8 100644 --- a/test/cbmc/stubs/bsearch.c +++ b/test/cbmc/stubs/bsearch.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/memchr.c b/test/cbmc/stubs/memchr.c index 7a32b99d..2c7d5de1 100644 --- a/test/cbmc/stubs/memchr.c +++ b/test/cbmc/stubs/memchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/snprintf.c b/test/cbmc/stubs/snprintf.c index bfb992e2..cdff91e2 100644 --- a/test/cbmc/stubs/snprintf.c +++ b/test/cbmc/stubs/snprintf.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strchr.c b/test/cbmc/stubs/strchr.c index 0ef77f4a..d9c42c62 100644 --- a/test/cbmc/stubs/strchr.c +++ b/test/cbmc/stubs/strchr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index 1b62799b..9013acaa 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strnlen.c b/test/cbmc/stubs/strnlen.c index fa6436aa..dbca7057 100644 --- a/test/cbmc/stubs/strnlen.c +++ b/test/cbmc/stubs/strnlen.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strstr.c b/test/cbmc/stubs/strstr.c index 01303d0d..c26681e8 100644 --- a/test/cbmc/stubs/strstr.c +++ b/test/cbmc/stubs/strstr.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strtok.c b/test/cbmc/stubs/strtok.c index b81350fe..5d0331ee 100644 --- a/test/cbmc/stubs/strtok.c +++ b/test/cbmc/stubs/strtok.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/strtol.c b/test/cbmc/stubs/strtol.c index 69fa0d34..f5be159d 100644 --- a/test/cbmc/stubs/strtol.c +++ b/test/cbmc/stubs/strtol.c @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_3gpp_api_utest.c b/test/unit-test/cellular_3gpp_api_utest.c index 95e85bb6..c854259f 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_3gpp_urc_handler_utest.c b/test/unit-test/cellular_3gpp_urc_handler_utest.c index 1ecb44ce..e4d7b764 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_at_core_utest.c b/test/unit-test/cellular_at_core_utest.c index bc0a89bb..48dbe313 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_common_api_utest.c b/test/unit-test/cellular_common_api_utest.c index 4cb5890d..7ea7d4b8 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_common_utest.c b/test/unit-test/cellular_common_utest.c index 7aec1f50..f57a2771 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_config.h b/test/unit-test/cellular_config.h index ca258b88..942627d6 100644 --- a/test/unit-test/cellular_config.h +++ b/test/unit-test/cellular_config.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_pkthandler_utest.c b/test/unit-test/cellular_pkthandler_utest.c index fdfa78e4..42bf94e4 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_pktio_utest.c b/test/unit-test/cellular_pktio_utest.c index 67d1db8b..8a4ce1b9 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.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/cellular_platform.h b/test/unit-test/cellular_platform.h index 0550d245..06ee5138 100644 --- a/test/unit-test/cellular_platform.h +++ b/test/unit-test/cellular_platform.h @@ -1,5 +1,5 @@ /* - * FreeRTOS-Cellular-Interface v1.1.0 + * FreeRTOS-Cellular-Interface v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of