diff --git a/CHANGELOG.md b/CHANGELOG.md index 384879914..546dccc41 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,4 +1,16 @@ # Changelog for AWS IoT Over-the-air Update Library +### v3.3.0 (December 2021) + - Added CBMC proofs of all public and private functions in the OTA library. + - [#373](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/373) Updated compiler flag for tinycbor source files + - [#407](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/407) Added checks to prevent arithmetic overflows + - [#390](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/390) Make OTA file type configurable. + - [#329](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/329) Misc fixes to remove build warnings + - [#356](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/356) Add type cast to event functions as per POSIX spec + +### v3.2.0 (November 2021) + - [#275](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/276) Updated the doxygen version from 1.8.20 to 1.9.2 + - [#236](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/236) Added C++ guards + - [#231](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/231) Added checks for http interface functions. ### v3.1.0 (August 2021) - [#232](https://github.com/aws/ota-for-aws-iot-embedded-sdk/pull/232) Add updater version to the status details when job succeeds diff --git a/README.md b/README.md index 35d324045..260b13efa 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ This library has gone through code quality checks including verification that no See memory requirements for this library [here](./docs/doxygen/include/size_table.md). -**AWS IoT Over-the-air Update Library v3.0.0 [source code](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.0.0/source) is part of the [FreeRTOS 202012.01 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.01-LTS) release.** +**AWS IoT Over-the-air Update Library v3.3.0 [source code](https://github.com/aws/ota-for-aws-iot-embedded-sdk/tree/v3.3.0/source) is part of the [FreeRTOS 202012.01 LTS](https://github.com/FreeRTOS/FreeRTOS-LTS/tree/202012.01-LTS) release.** ## AWS IoT Over-the-air Updates Config File @@ -50,18 +50,18 @@ git submodule update --checkout --init --recursive test/unit-test/CMock ## Migration Guide -### How to migrate from v2.0.0 (Release Candidate) to v3.0.0 +### How to migrate from v2.0.0 (Release Candidate) to v3.3.0 -The following table lists equivalent API function signatures in v2.0.0 (Release Candidate) and v3.0.0 declared in [ota.h](source/include/ota.h) +The following table lists equivalent API function signatures in v2.0.0 (Release Candidate) and v3.3.0 declared in [ota.h](source/include/ota.h) -| v2.0.0 (Release Candidate) | v3.0.0 | Notes | +| v2.0.0 (Release Candidate) | v3.3.0 | Notes | | :-: | :-: | :-: | | `OtaState_t OTA_Shutdown( uint32_t ticksToWait );` | `OtaState_t OTA_Shutdown( uint32_t ticksToWait, uint8_t unsubscribeFlag );` | `unsubscribeFlag` indicates if unsubscribe operations should be performed from the job topics when shutdown is called. Set this as 1 to unsubscribe, 0 otherwise. | -### How to migrate from version 1.0.0 to version 3.0.0 for OTA applications +### How to migrate from version 1.0.0 to version 3.3.0 for OTA applications Refer to [OTA Migration document](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota.html) for the summary of updates to the API. -[Migration document for OTA PAL](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota-pal.html) also provides a summary of updates required for upgrading the OTA-PAL to work with v3.0.0 of the library. +[Migration document for OTA PAL](https://docs.aws.amazon.com/freertos/latest/portingguide/porting-migration-ota-pal.html) also provides a summary of updates required for upgrading the OTA-PAL to work with v3.3.0 of the library. ## Porting diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index ad465e1b5..b13280205 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "AWS IoT Over-the-air Update" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v3.1.0 +PROJECT_NUMBER = v3.3.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/manifest.yml b/manifest.yml index 9791b5398..e7afa6e7e 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "ota-for-aws-iot-embedded-sdk" -version: "v3.1.0" +version: "v3.3.0" description: | "Client library for using the AWS Over-the-air Update service on embedded devices.\n" dependencies: diff --git a/source/include/ota.h b/source/include/ota.h index 8a749ab0b..be763b8ce 100644 --- a/source/include/ota.h +++ b/source/include/ota.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_appversion32.h b/source/include/ota_appversion32.h index d652a3e9d..02000c1a7 100644 --- a/source/include/ota_appversion32.h +++ b/source/include/ota_appversion32.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_base64_private.h b/source/include/ota_base64_private.h index 08fa165d9..e404f9cef 100644 --- a/source/include/ota_base64_private.h +++ b/source/include/ota_base64_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_cbor_private.h b/source/include/ota_cbor_private.h index c99898958..1359a4d37 100644 --- a/source/include/ota_cbor_private.h +++ b/source/include/ota_cbor_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_config_defaults.h b/source/include/ota_config_defaults.h index 3734a8718..75c15fe60 100644 --- a/source/include/ota_config_defaults.h +++ b/source/include/ota_config_defaults.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_http_interface.h b/source/include/ota_http_interface.h index d6261a7ab..49f538a2a 100644 --- a/source/include/ota_http_interface.h +++ b/source/include/ota_http_interface.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_http_private.h b/source/include/ota_http_private.h index cc99dfb24..fbfb4b2b5 100644 --- a/source/include/ota_http_private.h +++ b/source/include/ota_http_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_interface_private.h b/source/include/ota_interface_private.h index d626fef35..aee1eb4ce 100644 --- a/source/include/ota_interface_private.h +++ b/source/include/ota_interface_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_mqtt_interface.h b/source/include/ota_mqtt_interface.h index 674bf5800..3da63a0ad 100644 --- a/source/include/ota_mqtt_interface.h +++ b/source/include/ota_mqtt_interface.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_mqtt_private.h b/source/include/ota_mqtt_private.h index 4b80dd119..9115c8ee2 100644 --- a/source/include/ota_mqtt_private.h +++ b/source/include/ota_mqtt_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_os_interface.h b/source/include/ota_os_interface.h index b9dce03e1..43acd609a 100644 --- a/source/include/ota_os_interface.h +++ b/source/include/ota_os_interface.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_platform_interface.h b/source/include/ota_platform_interface.h index 3babdb3ed..fcc665455 100644 --- a/source/include/ota_platform_interface.h +++ b/source/include/ota_platform_interface.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_private.h b/source/include/ota_private.h index 044223ee4..631a3fd42 100644 --- a/source/include/ota_private.h +++ b/source/include/ota_private.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota.c b/source/ota.c index 2435dec05..cfb315999 100644 --- a/source/ota.c +++ b/source/ota.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/source/ota_base64.c b/source/ota_base64.c index c5199068f..c09f75171 100644 --- a/source/ota_base64.c +++ b/source/ota_base64.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_cbor.c b/source/ota_cbor.c index bf8374eec..191fac333 100644 --- a/source/ota_cbor.c +++ b/source/ota_cbor.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_http.c b/source/ota_http.c index 67ba1c55e..0ff5b8a12 100644 --- a/source/ota_http.c +++ b/source/ota_http.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_interface.c b/source/ota_interface.c index 99c3f5c43..765365ca2 100644 --- a/source/ota_interface.c +++ b/source/ota_interface.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_mqtt.c b/source/ota_mqtt.c index 83c5a4788..0a85b05d5 100644 --- a/source/ota_mqtt.c +++ b/source/ota_mqtt.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/portable/os/ota_os_freertos.c b/source/portable/os/ota_os_freertos.c index 41f723c45..533995959 100644 --- a/source/portable/os/ota_os_freertos.c +++ b/source/portable/os/ota_os_freertos.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/portable/os/ota_os_freertos.h b/source/portable/os/ota_os_freertos.h index 1f3dcd175..872bea817 100644 --- a/source/portable/os/ota_os_freertos.h +++ b/source/portable/os/ota_os_freertos.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/portable/os/ota_os_posix.c b/source/portable/os/ota_os_posix.c index 231ca136f..e345726f9 100644 --- a/source/portable/os/ota_os_posix.c +++ b/source/portable/os/ota_os_posix.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/portable/os/ota_os_posix.h b/source/portable/os/ota_os_posix.h index 5f936091e..c5f0148ae 100644 --- a/source/portable/os/ota_os_posix.h +++ b/source/portable/os/ota_os_posix.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/stubs.h b/test/cbmc/include/stubs.h index 8e4dcec76..3023ad1e4 100644 --- a/test/cbmc/include/stubs.h +++ b/test/cbmc/include/stubs.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Free_FreeRTOS/Free_FreeRTOS_harness.c b/test/cbmc/proofs/Free_FreeRTOS/Free_FreeRTOS_harness.c index 7693f28f7..a3ed8ec92 100644 --- a/test/cbmc/proofs/Free_FreeRTOS/Free_FreeRTOS_harness.c +++ b/test/cbmc/proofs/Free_FreeRTOS/Free_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c b/test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c index b491a6267..79e9213ff 100644 --- a/test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c +++ b/test/cbmc/proofs/Malloc_FreeRTOS/Malloc_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c b/test/cbmc/proofs/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c index 33a9abed0..212b74f24 100644 --- a/test/cbmc/proofs/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c +++ b/test/cbmc/proofs/OTA_ActivateNewImage/OTA_ActivateNewImage_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c b/test/cbmc/proofs/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c index d765511e6..63096d097 100644 --- a/test/cbmc/proofs/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c +++ b/test/cbmc/proofs/OTA_CBOR_Decode_GetStreamResponseMessage/OTA_CBOR_Decode_GetStreamResponseMessage_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c b/test/cbmc/proofs/OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c index 1968c8841..9486cf453 100644 --- a/test/cbmc/proofs/OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c +++ b/test/cbmc/proofs/OTA_CBOR_Encode_GetStreamRequestMessage/OTA_CBOR_Encode_GetStreamRequestMessage_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c b/test/cbmc/proofs/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c index fe89d199d..09e1d0482 100644 --- a/test/cbmc/proofs/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c +++ b/test/cbmc/proofs/OTA_CheckForUpdate/OTA_CheckForUpdate_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_Err_strerror/OTA_Err_strerror_harness.c b/test/cbmc/proofs/OTA_Err_strerror/OTA_Err_strerror_harness.c index 4a34cb960..2a5466625 100644 --- a/test/cbmc/proofs/OTA_Err_strerror/OTA_Err_strerror_harness.c +++ b/test/cbmc/proofs/OTA_Err_strerror/OTA_Err_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c b/test/cbmc/proofs/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c index 7c89cdb34..f1c356b2b 100644 --- a/test/cbmc/proofs/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c +++ b/test/cbmc/proofs/OTA_EventProcessingTask/OTA_EventProcessingTask_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_GetImageState/OTA_GetImageState_harness.c b/test/cbmc/proofs/OTA_GetImageState/OTA_GetImageState_harness.c index ae311565b..4c3a61ee7 100644 --- a/test/cbmc/proofs/OTA_GetImageState/OTA_GetImageState_harness.c +++ b/test/cbmc/proofs/OTA_GetImageState/OTA_GetImageState_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_GetState/OTA_GetState_harness.c b/test/cbmc/proofs/OTA_GetState/OTA_GetState_harness.c index eeac249e2..330a82f09 100644 --- a/test/cbmc/proofs/OTA_GetState/OTA_GetState_harness.c +++ b/test/cbmc/proofs/OTA_GetState/OTA_GetState_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_GetStatistics/OTA_GetStatistics_harness.c b/test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c index 37d575b3a..50d3e8ff9 100644 --- a/test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c +++ b/test/cbmc/proofs/OTA_GetStatistics/OTA_GetStatistics_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c b/test/cbmc/proofs/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c index a8651638b..fbc9df90c 100644 --- a/test/cbmc/proofs/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c +++ b/test/cbmc/proofs/OTA_HTTP_strerror/OTA_HTTP_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_Init/OTA_Init_harness.c b/test/cbmc/proofs/OTA_Init/OTA_Init_harness.c index 74bd3d6cf..f128f9160 100644 --- a/test/cbmc/proofs/OTA_Init/OTA_Init_harness.c +++ b/test/cbmc/proofs/OTA_Init/OTA_Init_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c b/test/cbmc/proofs/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c index 18a662bdf..e769eaaab 100644 --- a/test/cbmc/proofs/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c +++ b/test/cbmc/proofs/OTA_JobParse_strerror/OTA_JobParse_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c b/test/cbmc/proofs/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c index d1f801bbb..8b190118a 100644 --- a/test/cbmc/proofs/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c +++ b/test/cbmc/proofs/OTA_MQTT_strerror/OTA_MQTT_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c b/test/cbmc/proofs/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c index 08a075864..0490e9a8a 100644 --- a/test/cbmc/proofs/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c +++ b/test/cbmc/proofs/OTA_OsStatus_strerror/OTA_OsStatus_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c b/test/cbmc/proofs/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c index ed6ef538e..8d9ab1ece 100644 --- a/test/cbmc/proofs/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c +++ b/test/cbmc/proofs/OTA_PalStatus_strerror/OTA_PalStatus_strerror_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_Resume/OTA_Resume_harness.c b/test/cbmc/proofs/OTA_Resume/OTA_Resume_harness.c index 1fc063726..8f365f43f 100644 --- a/test/cbmc/proofs/OTA_Resume/OTA_Resume_harness.c +++ b/test/cbmc/proofs/OTA_Resume/OTA_Resume_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_SetImageState/OTA_SetImageState_harness.c b/test/cbmc/proofs/OTA_SetImageState/OTA_SetImageState_harness.c index 353658588..bfa70fbec 100644 --- a/test/cbmc/proofs/OTA_SetImageState/OTA_SetImageState_harness.c +++ b/test/cbmc/proofs/OTA_SetImageState/OTA_SetImageState_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_Shutdown/OTA_Shutdown_harness.c b/test/cbmc/proofs/OTA_Shutdown/OTA_Shutdown_harness.c index 6cba776a3..73dfb3c46 100644 --- a/test/cbmc/proofs/OTA_Shutdown/OTA_Shutdown_harness.c +++ b/test/cbmc/proofs/OTA_Shutdown/OTA_Shutdown_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_SignalEvent/OTA_SignalEvent_harness.c b/test/cbmc/proofs/OTA_SignalEvent/OTA_SignalEvent_harness.c index 522357035..bdf44eb96 100644 --- a/test/cbmc/proofs/OTA_SignalEvent/OTA_SignalEvent_harness.c +++ b/test/cbmc/proofs/OTA_SignalEvent/OTA_SignalEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OTA_Suspend/OTA_Suspend_harness.c b/test/cbmc/proofs/OTA_Suspend/OTA_Suspend_harness.c index ddbf27db4..13296776e 100644 --- a/test/cbmc/proofs/OTA_Suspend/OTA_Suspend_harness.c +++ b/test/cbmc/proofs/OTA_Suspend/OTA_Suspend_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c b/test/cbmc/proofs/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c index 0e8f57a01..a90e817e8 100644 --- a/test/cbmc/proofs/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaDeinitEvent_FreeRTOS/OtaDeinitEvent_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaDeleteTimer_FreeRTOS/OtaDeleteTimer_FreeRTOS_harness.c b/test/cbmc/proofs/OtaDeleteTimer_FreeRTOS/OtaDeleteTimer_FreeRTOS_harness.c index c5b7ea621..66fe71fe6 100644 --- a/test/cbmc/proofs/OtaDeleteTimer_FreeRTOS/OtaDeleteTimer_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaDeleteTimer_FreeRTOS/OtaDeleteTimer_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaInitEvent_FreeRTOS/OtaInitEvent_FreeRTOS_harness.c b/test/cbmc/proofs/OtaInitEvent_FreeRTOS/OtaInitEvent_FreeRTOS_harness.c index 1752ea059..5a721b3d6 100644 --- a/test/cbmc/proofs/OtaInitEvent_FreeRTOS/OtaInitEvent_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaInitEvent_FreeRTOS/OtaInitEvent_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c b/test/cbmc/proofs/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c index 83d1f1692..816dc1225 100644 --- a/test/cbmc/proofs/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaReceiveEvent_FreeRTOS/OtaReceiveEvent_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaSendEvent_FreeRTOS/OtaSendEvent_FreeRTOS_harness.c b/test/cbmc/proofs/OtaSendEvent_FreeRTOS/OtaSendEvent_FreeRTOS_harness.c index 60ec3de26..d32c6e07c 100644 --- a/test/cbmc/proofs/OtaSendEvent_FreeRTOS/OtaSendEvent_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaSendEvent_FreeRTOS/OtaSendEvent_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c b/test/cbmc/proofs/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c index f21e3616a..334f6b4ab 100644 --- a/test/cbmc/proofs/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaStartTimer_FreeRTOS/OtaStartTimer_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/OtaStopTimer_FreeRTOS/OtaStopTimer_FreeRTOS_harness.c b/test/cbmc/proofs/OtaStopTimer_FreeRTOS/OtaStopTimer_FreeRTOS_harness.c index df0d50466..2b1ab74d6 100644 --- a/test/cbmc/proofs/OtaStopTimer_FreeRTOS/OtaStopTimer_FreeRTOS_harness.c +++ b/test/cbmc/proofs/OtaStopTimer_FreeRTOS/OtaStopTimer_FreeRTOS_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaDeinitEvent/Posix_OtaDeinitEvent_harness.c b/test/cbmc/proofs/Posix_OtaDeinitEvent/Posix_OtaDeinitEvent_harness.c index 66e2dd795..1b780c74c 100644 --- a/test/cbmc/proofs/Posix_OtaDeinitEvent/Posix_OtaDeinitEvent_harness.c +++ b/test/cbmc/proofs/Posix_OtaDeinitEvent/Posix_OtaDeinitEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaDeleteTimer/Posix_OtaDeleteTimer_harness.c b/test/cbmc/proofs/Posix_OtaDeleteTimer/Posix_OtaDeleteTimer_harness.c index cb66b9053..dde498473 100644 --- a/test/cbmc/proofs/Posix_OtaDeleteTimer/Posix_OtaDeleteTimer_harness.c +++ b/test/cbmc/proofs/Posix_OtaDeleteTimer/Posix_OtaDeleteTimer_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaInitEvent/Posix_OtaInitEvent_harness.c b/test/cbmc/proofs/Posix_OtaInitEvent/Posix_OtaInitEvent_harness.c index 36a057fea..9a28bcf38 100644 --- a/test/cbmc/proofs/Posix_OtaInitEvent/Posix_OtaInitEvent_harness.c +++ b/test/cbmc/proofs/Posix_OtaInitEvent/Posix_OtaInitEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c b/test/cbmc/proofs/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c index 33069219f..08b256956 100644 --- a/test/cbmc/proofs/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c +++ b/test/cbmc/proofs/Posix_OtaReceiveEvent/Posix_OtaReceiveEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c b/test/cbmc/proofs/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c index 4ac8e4e1a..9bb6cbdd1 100644 --- a/test/cbmc/proofs/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c +++ b/test/cbmc/proofs/Posix_OtaSendEvent/Posix_OtaSendEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaStartTimer/Posix_OtaStartTimer_harness.c b/test/cbmc/proofs/Posix_OtaStartTimer/Posix_OtaStartTimer_harness.c index d1c496969..325448323 100644 --- a/test/cbmc/proofs/Posix_OtaStartTimer/Posix_OtaStartTimer_harness.c +++ b/test/cbmc/proofs/Posix_OtaStartTimer/Posix_OtaStartTimer_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_OtaStopTimer/Posix_OtaStopTimer_harness.c b/test/cbmc/proofs/Posix_OtaStopTimer/Posix_OtaStopTimer_harness.c index 50a51f26d..e01f6de37 100644 --- a/test/cbmc/proofs/Posix_OtaStopTimer/Posix_OtaStopTimer_harness.c +++ b/test/cbmc/proofs/Posix_OtaStopTimer/Posix_OtaStopTimer_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_RequestTimerCallback/requestTimerCallback_harness.c b/test/cbmc/proofs/Posix_RequestTimerCallback/requestTimerCallback_harness.c index 10c53b8d2..5c29faa27 100644 --- a/test/cbmc/proofs/Posix_RequestTimerCallback/requestTimerCallback_harness.c +++ b/test/cbmc/proofs/Posix_RequestTimerCallback/requestTimerCallback_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/Posix_selfTestTimerCallback/selfTestTimerCallback_harness.c b/test/cbmc/proofs/Posix_selfTestTimerCallback/selfTestTimerCallback_harness.c index 608379246..f1b33d329 100644 --- a/test/cbmc/proofs/Posix_selfTestTimerCallback/selfTestTimerCallback_harness.c +++ b/test/cbmc/proofs/Posix_selfTestTimerCallback/selfTestTimerCallback_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/STDC_FREE/STDC_Free_harness.c b/test/cbmc/proofs/STDC_FREE/STDC_Free_harness.c index 42a111752..30f315286 100644 --- a/test/cbmc/proofs/STDC_FREE/STDC_Free_harness.c +++ b/test/cbmc/proofs/STDC_FREE/STDC_Free_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/STDC_Malloc/STDC_Malloc_harness.c b/test/cbmc/proofs/STDC_Malloc/STDC_Malloc_harness.c index 4a8b22b8c..270f2b5eb 100644 --- a/test/cbmc/proofs/STDC_Malloc/STDC_Malloc_harness.c +++ b/test/cbmc/proofs/STDC_Malloc/STDC_Malloc_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/agentShutdownCleanup/agentShutdownCleanup_harness.c b/test/cbmc/proofs/agentShutdownCleanup/agentShutdownCleanup_harness.c index 1f0de54bf..55a095440 100644 --- a/test/cbmc/proofs/agentShutdownCleanup/agentShutdownCleanup_harness.c +++ b/test/cbmc/proofs/agentShutdownCleanup/agentShutdownCleanup_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/base64Decode/base64Decode_harness.c b/test/cbmc/proofs/base64Decode/base64Decode_harness.c index 4a4122e0d..136fdf6f1 100644 --- a/test/cbmc/proofs/base64Decode/base64Decode_harness.c +++ b/test/cbmc/proofs/base64Decode/base64Decode_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/buildStatusMessageReceiving/buildStatusMessageReceiving_harness.c b/test/cbmc/proofs/buildStatusMessageReceiving/buildStatusMessageReceiving_harness.c index d07577de0..7d8c1446b 100644 --- a/test/cbmc/proofs/buildStatusMessageReceiving/buildStatusMessageReceiving_harness.c +++ b/test/cbmc/proofs/buildStatusMessageReceiving/buildStatusMessageReceiving_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/checkDataType/checkDataType_harness.c b/test/cbmc/proofs/checkDataType/checkDataType_harness.c index 63853016f..3b139cd8e 100644 --- a/test/cbmc/proofs/checkDataType/checkDataType_harness.c +++ b/test/cbmc/proofs/checkDataType/checkDataType_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/proofs/cleanupControl_Mqtt/cleanupControl_Mqtt_harness.c b/test/cbmc/proofs/cleanupControl_Mqtt/cleanupControl_Mqtt_harness.c index efe4ac386..34e44810a 100644 --- a/test/cbmc/proofs/cleanupControl_Mqtt/cleanupControl_Mqtt_harness.c +++ b/test/cbmc/proofs/cleanupControl_Mqtt/cleanupControl_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/cleanupData_Http/cleanupData_Http_harness.c b/test/cbmc/proofs/cleanupData_Http/cleanupData_Http_harness.c index 98f0785e8..a9d9635b7 100644 --- a/test/cbmc/proofs/cleanupData_Http/cleanupData_Http_harness.c +++ b/test/cbmc/proofs/cleanupData_Http/cleanupData_Http_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.0.0 + * AWS IoT Over-the-air Update v3.3.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/cleanupData_Mqtt/cleanupData_Mqtt_harness.c b/test/cbmc/proofs/cleanupData_Mqtt/cleanupData_Mqtt_harness.c index d9ebdfa9e..8e767f778 100644 --- a/test/cbmc/proofs/cleanupData_Mqtt/cleanupData_Mqtt_harness.c +++ b/test/cbmc/proofs/cleanupData_Mqtt/cleanupData_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/closeFileHandler/closeFileHandler_harness.c b/test/cbmc/proofs/closeFileHandler/closeFileHandler_harness.c index 29f65ef00..52a54f4c9 100644 --- a/test/cbmc/proofs/closeFileHandler/closeFileHandler_harness.c +++ b/test/cbmc/proofs/closeFileHandler/closeFileHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/dataHandlerCleanup/dataHandlerCleanup_harness.c b/test/cbmc/proofs/dataHandlerCleanup/dataHandlerCleanup_harness.c index bba7e2f4e..9df1152aa 100644 --- a/test/cbmc/proofs/dataHandlerCleanup/dataHandlerCleanup_harness.c +++ b/test/cbmc/proofs/dataHandlerCleanup/dataHandlerCleanup_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/decodeAndStoreDataBlock/decodeAndStoreDataBlock_harness.c b/test/cbmc/proofs/decodeAndStoreDataBlock/decodeAndStoreDataBlock_harness.c index 000bda036..2082f7bfc 100644 --- a/test/cbmc/proofs/decodeAndStoreDataBlock/decodeAndStoreDataBlock_harness.c +++ b/test/cbmc/proofs/decodeAndStoreDataBlock/decodeAndStoreDataBlock_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/decodeAndStoreKey/decodeAndStoreKey_harness.c b/test/cbmc/proofs/decodeAndStoreKey/decodeAndStoreKey_harness.c index 5fada9881..9e6c31a9b 100644 --- a/test/cbmc/proofs/decodeAndStoreKey/decodeAndStoreKey_harness.c +++ b/test/cbmc/proofs/decodeAndStoreKey/decodeAndStoreKey_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c b/test/cbmc/proofs/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c index bb1bb1eab..f1d341a0e 100644 --- a/test/cbmc/proofs/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c +++ b/test/cbmc/proofs/decodeBase64IndexBuffer/decodeBase64IndexBuffer_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/decodeFileBlock_Http/decodeFileBlock_Http_harness.c b/test/cbmc/proofs/decodeFileBlock_Http/decodeFileBlock_Http_harness.c index a7fa27004..45d6a64aa 100644 --- a/test/cbmc/proofs/decodeFileBlock_Http/decodeFileBlock_Http_harness.c +++ b/test/cbmc/proofs/decodeFileBlock_Http/decodeFileBlock_Http_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/decodeFileBlock_Mqtt/decodeFileBlock_Mqtt_harness.c b/test/cbmc/proofs/decodeFileBlock_Mqtt/decodeFileBlock_Mqtt_harness.c index f29adf9b4..4991ea991 100644 --- a/test/cbmc/proofs/decodeFileBlock_Mqtt/decodeFileBlock_Mqtt_harness.c +++ b/test/cbmc/proofs/decodeFileBlock_Mqtt/decodeFileBlock_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/executeHandler/executeHandler_harness.c b/test/cbmc/proofs/executeHandler/executeHandler_harness.c index 541e1eaf3..d7d7e1ed3 100644 --- a/test/cbmc/proofs/executeHandler/executeHandler_harness.c +++ b/test/cbmc/proofs/executeHandler/executeHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/extractAndStoreArray/extractAndStoreArray_harness.c b/test/cbmc/proofs/extractAndStoreArray/extractAndStoreArray_harness.c index c8edd3040..4eca0260f 100644 --- a/test/cbmc/proofs/extractAndStoreArray/extractAndStoreArray_harness.c +++ b/test/cbmc/proofs/extractAndStoreArray/extractAndStoreArray_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/extractParameter/extractParameter_harness.c b/test/cbmc/proofs/extractParameter/extractParameter_harness.c index 7dd6900a1..bc01e918e 100644 --- a/test/cbmc/proofs/extractParameter/extractParameter_harness.c +++ b/test/cbmc/proofs/extractParameter/extractParameter_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/freeFileContextMem/freeFileContextMem_harness.c b/test/cbmc/proofs/freeFileContextMem/freeFileContextMem_harness.c index 18e02e22f..b42a68aed 100644 --- a/test/cbmc/proofs/freeFileContextMem/freeFileContextMem_harness.c +++ b/test/cbmc/proofs/freeFileContextMem/freeFileContextMem_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/getFileContextFromJob/getFileContextFromJob_harness.c b/test/cbmc/proofs/getFileContextFromJob/getFileContextFromJob_harness.c index 74e2c387f..f5978004c 100644 --- a/test/cbmc/proofs/getFileContextFromJob/getFileContextFromJob_harness.c +++ b/test/cbmc/proofs/getFileContextFromJob/getFileContextFromJob_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/handleCustomJob/handleCustomJob_harness.c b/test/cbmc/proofs/handleCustomJob/handleCustomJob_harness.c index a01f8ca5b..a12ddd70b 100644 --- a/test/cbmc/proofs/handleCustomJob/handleCustomJob_harness.c +++ b/test/cbmc/proofs/handleCustomJob/handleCustomJob_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/handleJobParsingError/handleJobParsingError_harness.c b/test/cbmc/proofs/handleJobParsingError/handleJobParsingError_harness.c index 00ed6fb41..1f3f02109 100644 --- a/test/cbmc/proofs/handleJobParsingError/handleJobParsingError_harness.c +++ b/test/cbmc/proofs/handleJobParsingError/handleJobParsingError_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/handleSelfTestJobDoc/handleSelfTestJobDoc_harness.c b/test/cbmc/proofs/handleSelfTestJobDoc/handleSelfTestJobDoc_harness.c index 2e2509841..06f37931b 100644 --- a/test/cbmc/proofs/handleSelfTestJobDoc/handleSelfTestJobDoc_harness.c +++ b/test/cbmc/proofs/handleSelfTestJobDoc/handleSelfTestJobDoc_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/handleUnexpectedEvents/handleUnexpectedEvents_harness.c b/test/cbmc/proofs/handleUnexpectedEvents/handleUnexpectedEvents_harness.c index 2c8680dec..7149d6f5a 100644 --- a/test/cbmc/proofs/handleUnexpectedEvents/handleUnexpectedEvents_harness.c +++ b/test/cbmc/proofs/handleUnexpectedEvents/handleUnexpectedEvents_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/inSelfTestHandler/inSelfTestHandler_harness.c b/test/cbmc/proofs/inSelfTestHandler/inSelfTestHandler_harness.c index b583f6496..0b5b54e86 100644 --- a/test/cbmc/proofs/inSelfTestHandler/inSelfTestHandler_harness.c +++ b/test/cbmc/proofs/inSelfTestHandler/inSelfTestHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ingestDataBlock/ingestDataBlock_harness.c b/test/cbmc/proofs/ingestDataBlock/ingestDataBlock_harness.c index eb566381d..cb2604a9c 100644 --- a/test/cbmc/proofs/ingestDataBlock/ingestDataBlock_harness.c +++ b/test/cbmc/proofs/ingestDataBlock/ingestDataBlock_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ingestDataBlockCleanup/ingestDataBlockCleanup_harness.c b/test/cbmc/proofs/ingestDataBlockCleanup/ingestDataBlockCleanup_harness.c index b0ab7c788..84d9e659a 100644 --- a/test/cbmc/proofs/ingestDataBlockCleanup/ingestDataBlockCleanup_harness.c +++ b/test/cbmc/proofs/ingestDataBlockCleanup/ingestDataBlockCleanup_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initDocModel/initDocModel_harness.c b/test/cbmc/proofs/initDocModel/initDocModel_harness.c index dce029279..310ea5304 100644 --- a/test/cbmc/proofs/initDocModel/initDocModel_harness.c +++ b/test/cbmc/proofs/initDocModel/initDocModel_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initFileHandler/initFileHandler_harness.c b/test/cbmc/proofs/initFileHandler/initFileHandler_harness.c index c48ae6b32..0c10ca07c 100644 --- a/test/cbmc/proofs/initFileHandler/initFileHandler_harness.c +++ b/test/cbmc/proofs/initFileHandler/initFileHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initFileTransfer_Http/initFileTransfer_Http_harness.c b/test/cbmc/proofs/initFileTransfer_Http/initFileTransfer_Http_harness.c index 58a50d0c3..ceef3eec9 100644 --- a/test/cbmc/proofs/initFileTransfer_Http/initFileTransfer_Http_harness.c +++ b/test/cbmc/proofs/initFileTransfer_Http/initFileTransfer_Http_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initFileTransfer_Mqtt/initFileTransfer_Mqtt_harness.c b/test/cbmc/proofs/initFileTransfer_Mqtt/initFileTransfer_Mqtt_harness.c index 359f287de..4b67343e4 100644 --- a/test/cbmc/proofs/initFileTransfer_Mqtt/initFileTransfer_Mqtt_harness.c +++ b/test/cbmc/proofs/initFileTransfer_Mqtt/initFileTransfer_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initializeAppBuffers/initializeAppBuffers_harness.c b/test/cbmc/proofs/initializeAppBuffers/initializeAppBuffers_harness.c index 489c54973..a1b588fc6 100644 --- a/test/cbmc/proofs/initializeAppBuffers/initializeAppBuffers_harness.c +++ b/test/cbmc/proofs/initializeAppBuffers/initializeAppBuffers_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/initializeLocalBuffers/initializeLocalBuffers_harness.c b/test/cbmc/proofs/initializeLocalBuffers/initializeLocalBuffers_harness.c index 59c337dc4..64c6393f6 100644 --- a/test/cbmc/proofs/initializeLocalBuffers/initializeLocalBuffers_harness.c +++ b/test/cbmc/proofs/initializeLocalBuffers/initializeLocalBuffers_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/jobNotificationHandler/jobNotificationHandler_harness.c b/test/cbmc/proofs/jobNotificationHandler/jobNotificationHandler_harness.c index e4a65e344..3f1f4dbc3 100644 --- a/test/cbmc/proofs/jobNotificationHandler/jobNotificationHandler_harness.c +++ b/test/cbmc/proofs/jobNotificationHandler/jobNotificationHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/otaClose/otaClose_harness.c b/test/cbmc/proofs/otaClose/otaClose_harness.c index f0147ee5d..1e3c3a34e 100644 --- a/test/cbmc/proofs/otaClose/otaClose_harness.c +++ b/test/cbmc/proofs/otaClose/otaClose_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/otaTimerCallback/otaTimerCallback_harness.c b/test/cbmc/proofs/otaTimerCallback/otaTimerCallback_harness.c index 1cff3bcef..29d3b8ae9 100644 --- a/test/cbmc/proofs/otaTimerCallback/otaTimerCallback_harness.c +++ b/test/cbmc/proofs/otaTimerCallback/otaTimerCallback_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/parseJSONbyModel/parseJSONbyModel_harness.c b/test/cbmc/proofs/parseJSONbyModel/parseJSONbyModel_harness.c index 61d6c4bf2..c8825602e 100644 --- a/test/cbmc/proofs/parseJSONbyModel/parseJSONbyModel_harness.c +++ b/test/cbmc/proofs/parseJSONbyModel/parseJSONbyModel_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/parseJobDoc/parseJobDoc_harness.c b/test/cbmc/proofs/parseJobDoc/parseJobDoc_harness.c index f3d41357f..909680cdf 100644 --- a/test/cbmc/proofs/parseJobDoc/parseJobDoc_harness.c +++ b/test/cbmc/proofs/parseJobDoc/parseJobDoc_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/platformInSelftest/platformInSelftest_harness.c b/test/cbmc/proofs/platformInSelftest/platformInSelftest_harness.c index 804eb5fd2..d4dc1e5c0 100644 --- a/test/cbmc/proofs/platformInSelftest/platformInSelftest_harness.c +++ b/test/cbmc/proofs/platformInSelftest/platformInSelftest_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/preprocessBase64Index/preprocessBase64Index_harness.c b/test/cbmc/proofs/preprocessBase64Index/preprocessBase64Index_harness.c index fe1ecb807..55fbb6252 100644 --- a/test/cbmc/proofs/preprocessBase64Index/preprocessBase64Index_harness.c +++ b/test/cbmc/proofs/preprocessBase64Index/preprocessBase64Index_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/processDataBlock/processDataBlock_harness.c b/test/cbmc/proofs/processDataBlock/processDataBlock_harness.c index 78a38080d..6dcb0d1cf 100644 --- a/test/cbmc/proofs/processDataBlock/processDataBlock_harness.c +++ b/test/cbmc/proofs/processDataBlock/processDataBlock_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/processDataHandler/processDataHandler_harness.c b/test/cbmc/proofs/processDataHandler/processDataHandler_harness.c index 394dc6d40..7b0ab29c8 100644 --- a/test/cbmc/proofs/processDataHandler/processDataHandler_harness.c +++ b/test/cbmc/proofs/processDataHandler/processDataHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/processJobHandler/processJobHandler_harness.c b/test/cbmc/proofs/processJobHandler/processJobHandler_harness.c index c1155e5b2..99da2ff64 100644 --- a/test/cbmc/proofs/processJobHandler/processJobHandler_harness.c +++ b/test/cbmc/proofs/processJobHandler/processJobHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/processNullFileContext/processNullFileContext_harness.c b/test/cbmc/proofs/processNullFileContext/processNullFileContext_harness.c index 6fe6bfc2e..aada9c784 100644 --- a/test/cbmc/proofs/processNullFileContext/processNullFileContext_harness.c +++ b/test/cbmc/proofs/processNullFileContext/processNullFileContext_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/processValidFileContext/processValidFileContext_harness.c b/test/cbmc/proofs/processValidFileContext/processValidFileContext_harness.c index d1941002b..44a5fb2b2 100644 --- a/test/cbmc/proofs/processValidFileContext/processValidFileContext_harness.c +++ b/test/cbmc/proofs/processValidFileContext/processValidFileContext_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/prvBuildStatusMessageFinish/prvBuildStatusMessageFinish_harness.c b/test/cbmc/proofs/prvBuildStatusMessageFinish/prvBuildStatusMessageFinish_harness.c index d0c13f609..c8de6d087 100644 --- a/test/cbmc/proofs/prvBuildStatusMessageFinish/prvBuildStatusMessageFinish_harness.c +++ b/test/cbmc/proofs/prvBuildStatusMessageFinish/prvBuildStatusMessageFinish_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/prvBuildStatusMessageSelfTest/prvBuildStatusMessageSelfTest_harness.c b/test/cbmc/proofs/prvBuildStatusMessageSelfTest/prvBuildStatusMessageSelfTest_harness.c index e9eaded72..db23149ac 100644 --- a/test/cbmc/proofs/prvBuildStatusMessageSelfTest/prvBuildStatusMessageSelfTest_harness.c +++ b/test/cbmc/proofs/prvBuildStatusMessageSelfTest/prvBuildStatusMessageSelfTest_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/publishStatusMessage/publishStatusMessage_harness.c b/test/cbmc/proofs/publishStatusMessage/publishStatusMessage_harness.c index d20dfbc0e..371a65033 100644 --- a/test/cbmc/proofs/publishStatusMessage/publishStatusMessage_harness.c +++ b/test/cbmc/proofs/publishStatusMessage/publishStatusMessage_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/receiveAndProcessOtaEvent/receiveAndProcessOtaEvent_harness.c b/test/cbmc/proofs/receiveAndProcessOtaEvent/receiveAndProcessOtaEvent_harness.c index d637b5f7d..764486555 100644 --- a/test/cbmc/proofs/receiveAndProcessOtaEvent/receiveAndProcessOtaEvent_harness.c +++ b/test/cbmc/proofs/receiveAndProcessOtaEvent/receiveAndProcessOtaEvent_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestDataBlock_Http/requestDataBlock_Http_harness.c b/test/cbmc/proofs/requestDataBlock_Http/requestDataBlock_Http_harness.c index b01799ab6..4066e3568 100644 --- a/test/cbmc/proofs/requestDataBlock_Http/requestDataBlock_Http_harness.c +++ b/test/cbmc/proofs/requestDataBlock_Http/requestDataBlock_Http_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestDataHandler/requestDataHandler_harness.c b/test/cbmc/proofs/requestDataHandler/requestDataHandler_harness.c index da6d4773b..a29a28d86 100644 --- a/test/cbmc/proofs/requestDataHandler/requestDataHandler_harness.c +++ b/test/cbmc/proofs/requestDataHandler/requestDataHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestFileBlock_Mqtt/requestFileBlock_Mqtt_harness.c b/test/cbmc/proofs/requestFileBlock_Mqtt/requestFileBlock_Mqtt_harness.c index 0a1e8d835..0215fea17 100644 --- a/test/cbmc/proofs/requestFileBlock_Mqtt/requestFileBlock_Mqtt_harness.c +++ b/test/cbmc/proofs/requestFileBlock_Mqtt/requestFileBlock_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestJobHandler/requestJobHandler_harness.c b/test/cbmc/proofs/requestJobHandler/requestJobHandler_harness.c index b659dc2c9..15927b667 100644 --- a/test/cbmc/proofs/requestJobHandler/requestJobHandler_harness.c +++ b/test/cbmc/proofs/requestJobHandler/requestJobHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestJob_Mqtt/requestJob_Mqtt_harness.c b/test/cbmc/proofs/requestJob_Mqtt/requestJob_Mqtt_harness.c index 61a1a4b22..8bc4fa010 100644 --- a/test/cbmc/proofs/requestJob_Mqtt/requestJob_Mqtt_harness.c +++ b/test/cbmc/proofs/requestJob_Mqtt/requestJob_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/requestTimerCallback/requestTimerCallback_harness.c b/test/cbmc/proofs/requestTimerCallback/requestTimerCallback_harness.c index 3c9b15c76..a3fe145eb 100644 --- a/test/cbmc/proofs/requestTimerCallback/requestTimerCallback_harness.c +++ b/test/cbmc/proofs/requestTimerCallback/requestTimerCallback_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/resumeHandler/resumeHandler_harness.c b/test/cbmc/proofs/resumeHandler/resumeHandler_harness.c index eff6301a7..c938d5eec 100644 --- a/test/cbmc/proofs/resumeHandler/resumeHandler_harness.c +++ b/test/cbmc/proofs/resumeHandler/resumeHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/searchTransition/searchTransition_harness.c b/test/cbmc/proofs/searchTransition/searchTransition_harness.c index a0b97fea5..3419a93d9 100644 --- a/test/cbmc/proofs/searchTransition/searchTransition_harness.c +++ b/test/cbmc/proofs/searchTransition/searchTransition_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/selfTestTimerCallback/selfTestTimerCallback_harness.c b/test/cbmc/proofs/selfTestTimerCallback/selfTestTimerCallback_harness.c index a015e0ec3..de515faac 100644 --- a/test/cbmc/proofs/selfTestTimerCallback/selfTestTimerCallback_harness.c +++ b/test/cbmc/proofs/selfTestTimerCallback/selfTestTimerCallback_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/setControlInterface/setControlInterface_harness.c b/test/cbmc/proofs/setControlInterface/setControlInterface_harness.c index a153d68f8..6cab7cf79 100644 --- a/test/cbmc/proofs/setControlInterface/setControlInterface_harness.c +++ b/test/cbmc/proofs/setControlInterface/setControlInterface_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/setDataInterface/setDataInterface_harness.c b/test/cbmc/proofs/setDataInterface/setDataInterface_harness.c index d8e5b36e9..fd4f80b30 100644 --- a/test/cbmc/proofs/setDataInterface/setDataInterface_harness.c +++ b/test/cbmc/proofs/setDataInterface/setDataInterface_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/setImageStateWithReason/setImageStateWithReason_harness.c b/test/cbmc/proofs/setImageStateWithReason/setImageStateWithReason_harness.c index 6face4eba..0382c669f 100644 --- a/test/cbmc/proofs/setImageStateWithReason/setImageStateWithReason_harness.c +++ b/test/cbmc/proofs/setImageStateWithReason/setImageStateWithReason_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/shutdownHandler/shutdownHandler_harness.c b/test/cbmc/proofs/shutdownHandler/shutdownHandler_harness.c index 8c4916374..bdc3db3b6 100644 --- a/test/cbmc/proofs/shutdownHandler/shutdownHandler_harness.c +++ b/test/cbmc/proofs/shutdownHandler/shutdownHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/startHandler/startHandler_harness.c b/test/cbmc/proofs/startHandler/startHandler_harness.c index dfffe4619..6c4ebdb01 100644 --- a/test/cbmc/proofs/startHandler/startHandler_harness.c +++ b/test/cbmc/proofs/startHandler/startHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/stringBuilder/stringBuilder_harness.c b/test/cbmc/proofs/stringBuilder/stringBuilder_harness.c index caa4f28b9..08b194153 100644 --- a/test/cbmc/proofs/stringBuilder/stringBuilder_harness.c +++ b/test/cbmc/proofs/stringBuilder/stringBuilder_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/stringBuilderUInt32Decimal/stringBuilderUInt32Decimal_harness.c b/test/cbmc/proofs/stringBuilderUInt32Decimal/stringBuilderUInt32Decimal_harness.c index 2cb2fa3dc..ce4bad2c3 100644 --- a/test/cbmc/proofs/stringBuilderUInt32Decimal/stringBuilderUInt32Decimal_harness.c +++ b/test/cbmc/proofs/stringBuilderUInt32Decimal/stringBuilderUInt32Decimal_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/stringBuilderUInt32Hex/stringBuilderUInt32Hex_harness.c b/test/cbmc/proofs/stringBuilderUInt32Hex/stringBuilderUInt32Hex_harness.c index 4d917157f..00e5cbbb9 100644 --- a/test/cbmc/proofs/stringBuilderUInt32Hex/stringBuilderUInt32Hex_harness.c +++ b/test/cbmc/proofs/stringBuilderUInt32Hex/stringBuilderUInt32Hex_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/subscribeToJobNotificationTopics/subscribeToJobNotificationTopics_harness.c b/test/cbmc/proofs/subscribeToJobNotificationTopics/subscribeToJobNotificationTopics_harness.c index 6a48eb28c..777bcf216 100644 --- a/test/cbmc/proofs/subscribeToJobNotificationTopics/subscribeToJobNotificationTopics_harness.c +++ b/test/cbmc/proofs/subscribeToJobNotificationTopics/subscribeToJobNotificationTopics_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/suspendHandler/suspendHandler_harness.c b/test/cbmc/proofs/suspendHandler/suspendHandler_harness.c index 1442daa7a..6fbe65180 100644 --- a/test/cbmc/proofs/suspendHandler/suspendHandler_harness.c +++ b/test/cbmc/proofs/suspendHandler/suspendHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unsubscribeFromDataStream/unsubscribeFromDataStream_harness.c b/test/cbmc/proofs/unsubscribeFromDataStream/unsubscribeFromDataStream_harness.c index dd72c93ed..a09bc10ed 100644 --- a/test/cbmc/proofs/unsubscribeFromDataStream/unsubscribeFromDataStream_harness.c +++ b/test/cbmc/proofs/unsubscribeFromDataStream/unsubscribeFromDataStream_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unsubscribeFromJobNotificationTopic/unsubscribeFromJobNotificationTopic_harness.c b/test/cbmc/proofs/unsubscribeFromJobNotificationTopic/unsubscribeFromJobNotificationTopic_harness.c index 6b01fd94b..18d5a92ef 100644 --- a/test/cbmc/proofs/unsubscribeFromJobNotificationTopic/unsubscribeFromJobNotificationTopic_harness.c +++ b/test/cbmc/proofs/unsubscribeFromJobNotificationTopic/unsubscribeFromJobNotificationTopic_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/updateBase64DecodingBuffer/updateBase64DecodingBuffer_harness.c b/test/cbmc/proofs/updateBase64DecodingBuffer/updateBase64DecodingBuffer_harness.c index 4eb194d35..9341b2caf 100644 --- a/test/cbmc/proofs/updateBase64DecodingBuffer/updateBase64DecodingBuffer_harness.c +++ b/test/cbmc/proofs/updateBase64DecodingBuffer/updateBase64DecodingBuffer_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/updateJobStatusFromImageState/updateJobStatusFromImageState_harness.c b/test/cbmc/proofs/updateJobStatusFromImageState/updateJobStatusFromImageState_harness.c index 6255adf3b..29649b98e 100644 --- a/test/cbmc/proofs/updateJobStatusFromImageState/updateJobStatusFromImageState_harness.c +++ b/test/cbmc/proofs/updateJobStatusFromImageState/updateJobStatusFromImageState_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/updateJobStatus_Mqtt/updateJobStatus_Mqtt_harness.c b/test/cbmc/proofs/updateJobStatus_Mqtt/updateJobStatus_Mqtt_harness.c index 39ddc8af7..84b8f90e4 100644 --- a/test/cbmc/proofs/updateJobStatus_Mqtt/updateJobStatus_Mqtt_harness.c +++ b/test/cbmc/proofs/updateJobStatus_Mqtt/updateJobStatus_Mqtt_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/userAbortHandler/userAbortHandler_harness.c b/test/cbmc/proofs/userAbortHandler/userAbortHandler_harness.c index ade31c1c4..96261966a 100644 --- a/test/cbmc/proofs/userAbortHandler/userAbortHandler_harness.c +++ b/test/cbmc/proofs/userAbortHandler/userAbortHandler_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/validateAndStartJob/validateAndStartJob_harness.c b/test/cbmc/proofs/validateAndStartJob/validateAndStartJob_harness.c index 21eef0446..ac7f12652 100644 --- a/test/cbmc/proofs/validateAndStartJob/validateAndStartJob_harness.c +++ b/test/cbmc/proofs/validateAndStartJob/validateAndStartJob_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/validateDataBlock/validateDataBlock_harness.c b/test/cbmc/proofs/validateDataBlock/validateDataBlock_harness.c index c876c274a..f760d760e 100644 --- a/test/cbmc/proofs/validateDataBlock/validateDataBlock_harness.c +++ b/test/cbmc/proofs/validateDataBlock/validateDataBlock_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/validateJSON/validateJSON_harness.c b/test/cbmc/proofs/validateJSON/validateJSON_harness.c index 3151967dd..45016096e 100644 --- a/test/cbmc/proofs/validateJSON/validateJSON_harness.c +++ b/test/cbmc/proofs/validateJSON/validateJSON_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/validateUpdateVersion/validateUpdateVersion_harness.c b/test/cbmc/proofs/validateUpdateVersion/validateUpdateVersion_harness.c index ed224b48f..0664279d6 100644 --- a/test/cbmc/proofs/validateUpdateVersion/validateUpdateVersion_harness.c +++ b/test/cbmc/proofs/validateUpdateVersion/validateUpdateVersion_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/verifyActiveJobStatus/verifyActiveJobStatus_harness.c b/test/cbmc/proofs/verifyActiveJobStatus/verifyActiveJobStatus_harness.c index cc099d52b..bb6e905ff 100644 --- a/test/cbmc/proofs/verifyActiveJobStatus/verifyActiveJobStatus_harness.c +++ b/test/cbmc/proofs/verifyActiveJobStatus/verifyActiveJobStatus_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/verifyRequiredParamsExtracted/verifyRequiredParamsExtracted_harness.c b/test/cbmc/proofs/verifyRequiredParamsExtracted/verifyRequiredParamsExtracted_harness.c index d5edd74be..37b6090f3 100644 --- a/test/cbmc/proofs/verifyRequiredParamsExtracted/verifyRequiredParamsExtracted_harness.c +++ b/test/cbmc/proofs/verifyRequiredParamsExtracted/verifyRequiredParamsExtracted_harness.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/source/stubs.c b/test/cbmc/source/stubs.c index 6ab93586d..14965f43f 100644 --- a/test/cbmc/source/stubs.c +++ b/test/cbmc/source/stubs.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/ota_base64_utest.c b/test/unit-test/ota_base64_utest.c index 38c565338..c638fb7fe 100644 --- a/test/unit-test/ota_base64_utest.c +++ b/test/unit-test/ota_base64_utest.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/ota_cbor_utest.c b/test/unit-test/ota_cbor_utest.c index c9962dca8..bec8030c3 100644 --- a/test/unit-test/ota_cbor_utest.c +++ b/test/unit-test/ota_cbor_utest.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/ota_config.h b/test/unit-test/ota_config.h index 7c92a8efe..b0b7bc531 100644 --- a/test/unit-test/ota_config.h +++ b/test/unit-test/ota_config.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/ota_os_posix_utest.c b/test/unit-test/ota_os_posix_utest.c index 2140bc6dc..1b1da5085 100644 --- a/test/unit-test/ota_os_posix_utest.c +++ b/test/unit-test/ota_os_posix_utest.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/ota_utest.c b/test/unit-test/ota_utest.c index 74ac2a8f0..161b8c612 100644 --- a/test/unit-test/ota_utest.c +++ b/test/unit-test/ota_utest.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/utest_helpers.c b/test/unit-test/utest_helpers.c index c2c07ec61..8a9e33dd0 100644 --- a/test/unit-test/utest_helpers.c +++ b/test/unit-test/utest_helpers.c @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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/unit-test/utest_helpers.h b/test/unit-test/utest_helpers.h index 7dae25e32..8d349f57f 100644 --- a/test/unit-test/utest_helpers.h +++ b/test/unit-test/utest_helpers.h @@ -1,5 +1,5 @@ /* - * AWS IoT Over-the-air Update v3.1.0 + * AWS IoT Over-the-air Update v3.3.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