diff --git a/CHANGELOG.md b/CHANGELOG.md index 212a9dea..482da943 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,19 @@ # Changelog for coreMQTT Agent Library +## v1.3.0 (August 2024) + +### Changes + - [#111](https://github.com/FreeRTOS/coreMQTT-Agent/pull/111) Update coreMQTT-Agent to work with the coreMQTT v2.3.1. + - [#110](https://github.com/FreeRTOS/coreMQTT-Agent/pull/110) Fix MISRA violation. + - [#109](https://github.com/FreeRTOS/coreMQTT-Agent/pull/109) Update CMakeList optionally build UT/Coverity & Update Coverity configuration. + - [#108](https://github.com/FreeRTOS/coreMQTT-Agent/pull/108) Use CBMC version 5.95.1. + - [#107](https://github.com/FreeRTOS/coreMQTT-Agent/pull/107) Add documentation about configuration options. + - [#105](https://github.com/FreeRTOS/coreMQTT-Agent/pull/105) Update this repository to use new CI-CD Actions. + - [#103](https://github.com/FreeRTOS/coreMQTT-Agent/pull/103) Update Agent to treat MQTTNeedMoreBytes correctly. + - [#84](https://github.com/FreeRTOS/coreMQTT-Agent/pull/84) Create pull_request_template.md. + - [#83](https://github.com/FreeRTOS/coreMQTT-Agent/pull/83) Add CBMC proof-running GitHub Action. + - [#81](https://github.com/FreeRTOS/coreMQTT-Agent/pull/81) Fix unsigned comparison IAR compiler warnings. + ## v1.2.0 (October 2022) ### Changes diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 6d3b59d9..8ba0a1f0 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -48,7 +48,7 @@ PROJECT_NAME = "coreMQTT Agent" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v1.2.0 +PROJECT_NUMBER = v1.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 4a406711..10ff8a05 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "coreMQTT Agent" -version: "v1.2.0" +version: "v1.3.0+" description: | "Agent for thread-safe use of coreMQTT.\n" license: "MIT" diff --git a/source/core_mqtt_agent.c b/source/core_mqtt_agent.c index 45ad94d5..077848fe 100644 --- a/source/core_mqtt_agent.c +++ b/source/core_mqtt_agent.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/core_mqtt_agent_command_functions.c b/source/core_mqtt_agent_command_functions.c index 8674da6d..9a4e4653 100644 --- a/source/core_mqtt_agent_command_functions.c +++ b/source/core_mqtt_agent_command_functions.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/include/core_mqtt_agent.h b/source/include/core_mqtt_agent.h index ff024e3b..1f6a11de 100644 --- a/source/include/core_mqtt_agent.h +++ b/source/include/core_mqtt_agent.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/include/core_mqtt_agent_command_functions.h b/source/include/core_mqtt_agent_command_functions.h index 4449f6e3..cc7e320a 100644 --- a/source/include/core_mqtt_agent_command_functions.h +++ b/source/include/core_mqtt_agent_command_functions.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/include/core_mqtt_agent_config_defaults.h b/source/include/core_mqtt_agent_config_defaults.h index 4053b63c..a98382cf 100644 --- a/source/include/core_mqtt_agent_config_defaults.h +++ b/source/include/core_mqtt_agent_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/include/core_mqtt_agent_default_logging.h b/source/include/core_mqtt_agent_default_logging.h index a4394332..1b9bcd74 100644 --- a/source/include/core_mqtt_agent_default_logging.h +++ b/source/include/core_mqtt_agent_default_logging.h @@ -1,5 +1,5 @@ /* - * coreMQTT-Agent v1.2.0 + * coreMQTT Agent * Copyright (C) 2022 Amazon.com, 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/core_mqtt_agent_message_interface.h b/source/include/core_mqtt_agent_message_interface.h index 2d6614a8..d178718b 100644 --- a/source/include/core_mqtt_agent_message_interface.h +++ b/source/include/core_mqtt_agent_message_interface.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/CMakeLists.txt b/test/CMakeLists.txt index 9a5cc186..20220e77 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -1,6 +1,6 @@ cmake_minimum_required ( VERSION 3.22.0 ) project ( "MQTTAgent tests" - VERSION 1.2.0 + VERSION 1.3.0 LANGUAGES C ) # Allow the project to be organized into folders. diff --git a/test/cbmc/include/agent_command_pool_stubs.h b/test/cbmc/include/agent_command_pool_stubs.h index e93d6d43..ae45ab7a 100644 --- a/test/cbmc/include/agent_command_pool_stubs.h +++ b/test/cbmc/include/agent_command_pool_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/agent_message_stubs.h b/test/cbmc/include/agent_message_stubs.h index d79fef58..42a53fa9 100644 --- a/test/cbmc/include/agent_message_stubs.h +++ b/test/cbmc/include/agent_message_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/core_mqtt_config.h b/test/cbmc/include/core_mqtt_config.h index 674e2747..74aa4aa5 100644 --- a/test/cbmc/include/core_mqtt_config.h +++ b/test/cbmc/include/core_mqtt_config.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/get_time_stub.h b/test/cbmc/include/get_time_stub.h index c4f4f993..e7be61e6 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/incoming_publish_callback_stub.h b/test/cbmc/include/incoming_publish_callback_stub.h index 0fd74539..a8180864 100644 --- a/test/cbmc/include/incoming_publish_callback_stub.h +++ b/test/cbmc/include/incoming_publish_callback_stub.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/mqtt_agent_cbmc_state.h b/test/cbmc/include/mqtt_agent_cbmc_state.h index b5ad6251..c3620c2b 100644 --- a/test/cbmc/include/mqtt_agent_cbmc_state.h +++ b/test/cbmc/include/mqtt_agent_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/network_interface_stubs.h b/test/cbmc/include/network_interface_stubs.h index 69aff801..f1e00752 100644 --- a/test/cbmc/include/network_interface_stubs.h +++ b/test/cbmc/include/network_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c index 639e3820..f268928e 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c index e2b67888..6c52d666 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c index 2cbfb3af..218929b4 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c b/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c index d83b9528..57b32fef 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c index 5b6c90f4..902574f2 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c index cec9df79..db1a0575 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c index 7e9e47dc..9799b7c8 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c index cf4acd8a..325c241f 100644 --- a/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c +++ b/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c b/test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c index 4e01ebfe..d68a1b02 100644 --- a/test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c +++ b/test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c b/test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c index ad1de56d..8fa0257c 100644 --- a/test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c +++ b/test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Connect/MQTTAgent_Connect_harness.c b/test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c index 2dfd9ab6..69b4786c 100644 --- a/test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c b/test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c index b1f20ff1..8b5a7c05 100644 --- a/test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Init/MQTTAgent_Init_harness.c b/test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c index 1ba1251a..07d2a94d 100644 --- a/test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Ping/MQTTAgent_Ping_harness.c b/test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c index da6ad0b7..8a44f245 100644 --- a/test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c b/test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c index 276286ce..4bc23c5c 100644 --- a/test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c +++ b/test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Publish/MQTTAgent_Publish_harness.c b/test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c index 8a9f3cff..e4be034e 100644 --- a/test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c b/test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c index 67f3cdba..a6108d0b 100644 --- a/test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c +++ b/test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c b/test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c index ad90d642..62b9ef9a 100644 --- a/test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c b/test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c index 74a45981..d731b5ca 100644 --- a/test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c b/test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c index 1f6c8805..2401429a 100644 --- a/test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c +++ b/test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/mqtt_agent_cbmc_state.c b/test/cbmc/sources/mqtt_agent_cbmc_state.c index da6931ad..ef9902e1 100644 --- a/test/cbmc/sources/mqtt_agent_cbmc_state.c +++ b/test/cbmc/sources/mqtt_agent_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/agent_command_functions_stub.c b/test/cbmc/stubs/agent_command_functions_stub.c index c9288708..a01b6cd8 100644 --- a/test/cbmc/stubs/agent_command_functions_stub.c +++ b/test/cbmc/stubs/agent_command_functions_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/agent_command_pool_stubs.c b/test/cbmc/stubs/agent_command_pool_stubs.c index 68275310..1eebbe3f 100644 --- a/test/cbmc/stubs/agent_command_pool_stubs.c +++ b/test/cbmc/stubs/agent_command_pool_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/agent_message_stubs.c b/test/cbmc/stubs/agent_message_stubs.c index b8c2979a..fd1108c0 100644 --- a/test/cbmc/stubs/agent_message_stubs.c +++ b/test/cbmc/stubs/agent_message_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/core_mqtt_stubs.c b/test/cbmc/stubs/core_mqtt_stubs.c index 6c617c43..10b412b9 100644 --- a/test/cbmc/stubs/core_mqtt_stubs.c +++ b/test/cbmc/stubs/core_mqtt_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index 0b9e7311..f91988fa 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/incoming_publish_callback_stub.c b/test/cbmc/stubs/incoming_publish_callback_stub.c index b1693c58..db569b1d 100644 --- a/test/cbmc/stubs/incoming_publish_callback_stub.c +++ b/test/cbmc/stubs/incoming_publish_callback_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/network_interface_stubs.c b/test/cbmc/stubs/network_interface_stubs.c index b6fd32e3..235e3ed8 100644 --- a/test/cbmc/stubs/network_interface_stubs.c +++ b/test/cbmc/stubs/network_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/config/core_mqtt_config.h b/test/unit-test/config/core_mqtt_config.h index f1548fcf..38eacf3e 100644 --- a/test/unit-test/config/core_mqtt_config.h +++ b/test/unit-test/config/core_mqtt_config.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/logging/logging_levels.h b/test/unit-test/logging/logging_levels.h index 4e867bdc..ca076eb4 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/logging/logging_stack.h b/test/unit-test/logging/logging_stack.h index 4868eb13..9b4b2613 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/mqtt_agent_command_functions_utest.c b/test/unit-test/mqtt_agent_command_functions_utest.c index 11ffdb37..63ceeff1 100644 --- a/test/unit-test/mqtt_agent_command_functions_utest.c +++ b/test/unit-test/mqtt_agent_command_functions_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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/mqtt_agent_utest.c b/test/unit-test/mqtt_agent_utest.c index 280a00d9..78aa1bd6 100644 --- a/test/unit-test/mqtt_agent_utest.c +++ b/test/unit-test/mqtt_agent_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.2.0 + * coreMQTT Agent * 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