From 86c51db1a7d060744a06fa3619bd3ba86a938a94 Mon Sep 17 00:00:00 2001 From: Aniruddha Kanhere <60444055+AniruddhaKanhere@users.noreply.github.com> Date: Fri, 14 Oct 2022 09:27:11 -0700 Subject: [PATCH] Update version number is source files and .md file for release (#78) * Update coreMQTT submodule pointer * Update core_mqtt_config.h * Update lexicon.txt * Update the version number for release --- CHANGELOG.md | 6 ++++++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 4 ++-- source/core_mqtt_agent.c | 2 +- source/core_mqtt_agent_command_functions.c | 2 +- source/include/core_mqtt_agent.h | 2 +- source/include/core_mqtt_agent_command_functions.h | 2 +- source/include/core_mqtt_agent_config_defaults.h | 2 +- source/include/core_mqtt_agent_default_logging.h | 2 +- source/include/core_mqtt_agent_message_interface.h | 2 +- test/cbmc/include/agent_command_pool_stubs.h | 2 +- test/cbmc/include/agent_message_stubs.h | 2 +- test/cbmc/include/core_mqtt_config.h | 2 +- test/cbmc/include/get_time_stub.h | 2 +- test/cbmc/include/incoming_publish_callback_stub.h | 2 +- test/cbmc/include/mqtt_agent_cbmc_state.h | 2 +- test/cbmc/include/network_interface_stubs.h | 2 +- .../MQTTAgentCommand_Connect_harness.c | 2 +- .../MQTTAgentCommand_Disconnect_harness.c | 2 +- .../MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c | 2 +- .../MQTTAgentCommand_ProcessLoop_harness.c | 2 +- .../MQTTAgentCommand_Publish_harness.c | 2 +- .../MQTTAgentCommand_Subscribe_harness.c | 2 +- .../MQTTAgentCommand_Terminate_harness.c | 2 +- .../MQTTAgentCommand_Unsubscribe_harness.c | 2 +- .../MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c | 2 +- .../MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c | 2 +- .../proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c | 2 +- .../MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c | 2 +- test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c | 2 +- test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c | 2 +- .../MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c | 2 +- .../proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c | 2 +- .../MQTTAgent_ResumeSession_harness.c | 2 +- .../MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c | 2 +- .../MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c | 2 +- .../MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c | 2 +- test/cbmc/sources/mqtt_agent_cbmc_state.c | 2 +- test/cbmc/stubs/agent_command_functions_stub.c | 2 +- test/cbmc/stubs/agent_command_pool_stubs.c | 2 +- test/cbmc/stubs/agent_message_stubs.c | 2 +- test/cbmc/stubs/core_mqtt_stubs.c | 2 +- test/cbmc/stubs/get_time_stub.c | 2 +- test/cbmc/stubs/incoming_publish_callback_stub.c | 2 +- test/cbmc/stubs/network_interface_stubs.c | 2 +- test/unit-test/config/core_mqtt_config.h | 2 +- test/unit-test/logging/logging_levels.h | 2 +- test/unit-test/logging/logging_stack.h | 2 +- test/unit-test/mqtt_agent_command_functions_utest.c | 2 +- test/unit-test/mqtt_agent_utest.c | 2 +- 50 files changed, 56 insertions(+), 50 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 780cc4bd..212a9dea 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Changelog for coreMQTT Agent Library +## v1.2.0 (October 2022) + +### Changes + - [#77](https://github.com/FreeRTOS/coreMQTT-Agent/pull/77) Update coreMQTT-Agent to work with the coreMQTT v2.1.0. No breaking changes from the previous version. + - [#75](https://github.com/FreeRTOS/coreMQTT-Agent/pull/75) Update coreMQTT-Agent to work with the coreMQTT v2.0.0. + ## v1.1.0 (November 2021) ### Changes diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 7b291d19..d235a3ed 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "coreMQTT Agent" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = v1.1.0 +PROJECT_NUMBER = v1.2.0 # Using the PROJECT_BRIEF tag one can provide an optional one line description # for a project that appears at the top of each page and should give viewer a diff --git a/manifest.yml b/manifest.yml index 487a7121..57b8a77e 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,10 +1,10 @@ name : "coreMQTT Agent" -version: "v1.1.0" +version: "v1.2.0" description: | "Agent for thread-safe use of coreMQTT.\n" dependencies: - name : "coreMQTT" - version: "v1.2.0" + version: "v2.1.0" repository: type: "git" url: "https://github.com/FreeRTOS/coreMQTT/" diff --git a/source/core_mqtt_agent.c b/source/core_mqtt_agent.c index 22a2a746..40573690 100644 --- a/source/core_mqtt_agent.c +++ b/source/core_mqtt_agent.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/core_mqtt_agent_command_functions.c b/source/core_mqtt_agent_command_functions.c index 14b3f1c5..8674da6d 100644 --- a/source/core_mqtt_agent_command_functions.c +++ b/source/core_mqtt_agent_command_functions.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_agent.h b/source/include/core_mqtt_agent.h index 32d5d716..11a17083 100644 --- a/source/include/core_mqtt_agent.h +++ b/source/include/core_mqtt_agent.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_agent_command_functions.h b/source/include/core_mqtt_agent_command_functions.h index e6d39cfe..4449f6e3 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_agent_config_defaults.h b/source/include/core_mqtt_agent_config_defaults.h index a6da4c3e..4053b63c 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/include/core_mqtt_agent_default_logging.h b/source/include/core_mqtt_agent_default_logging.h index f0b8512b..a4394332 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.1.0 + * coreMQTT-Agent v1.2.0 * 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 3a663e09..2d6614a8 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/agent_command_pool_stubs.h b/test/cbmc/include/agent_command_pool_stubs.h index 8ce6718b..e93d6d43 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/agent_message_stubs.h b/test/cbmc/include/agent_message_stubs.h index 43f5fc29..d79fef58 100644 --- a/test/cbmc/include/agent_message_stubs.h +++ b/test/cbmc/include/agent_message_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/core_mqtt_config.h b/test/cbmc/include/core_mqtt_config.h index 02218e2e..674e2747 100644 --- a/test/cbmc/include/core_mqtt_config.h +++ b/test/cbmc/include/core_mqtt_config.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/get_time_stub.h b/test/cbmc/include/get_time_stub.h index d4598534..c4f4f993 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/incoming_publish_callback_stub.h b/test/cbmc/include/incoming_publish_callback_stub.h index 239191f4..0fd74539 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/mqtt_agent_cbmc_state.h b/test/cbmc/include/mqtt_agent_cbmc_state.h index fa6f1649..b5ad6251 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/include/network_interface_stubs.h b/test/cbmc/include/network_interface_stubs.h index 973c6fcd..69aff801 100644 --- a/test/cbmc/include/network_interface_stubs.h +++ b/test/cbmc/include/network_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Connect/MQTTAgentCommand_Connect_harness.c index 9fdd502a..639e3820 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Disconnect/MQTTAgentCommand_Disconnect_harness.c index bb32db14..e2b67888 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Ping/MQTTAgentCommand_Ping_harness.c index 2436f63e..2cbfb3af 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c b/test/cbmc/proofs/MQTTAgentCommand_ProcessLoop/MQTTAgentCommand_ProcessLoop_harness.c index c369e560..d83b9528 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Publish/MQTTAgentCommand_Publish_harness.c index 7fc23d6e..5b6c90f4 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Subscribe/MQTTAgentCommand_Subscribe_harness.c index 217e011f..cec9df79 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Terminate/MQTTAgentCommand_Terminate_harness.c index a074e601..7e9e47dc 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c b/test/cbmc/proofs/MQTTAgentCommand_Unsubscribe/MQTTAgentCommand_Unsubscribe_harness.c index 53a66830..cf4acd8a 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c b/test/cbmc/proofs/MQTTAgent_CancelAll/MQTTAgent_CancelAll_harness.c index 4d267b38..4e01ebfe 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c b/test/cbmc/proofs/MQTTAgent_CommandLoop/MQTTAgent_CommandLoop_harness.c index de3b8d86..ad1de56d 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c b/test/cbmc/proofs/MQTTAgent_Connect/MQTTAgent_Connect_harness.c index ca2f0a64..2dfd9ab6 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c b/test/cbmc/proofs/MQTTAgent_Disconnect/MQTTAgent_Disconnect_harness.c index e1aa6a75..b1f20ff1 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c b/test/cbmc/proofs/MQTTAgent_Init/MQTTAgent_Init_harness.c index af4fd3e0..1ba1251a 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c b/test/cbmc/proofs/MQTTAgent_Ping/MQTTAgent_Ping_harness.c index f283d6d4..da6ad0b7 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c b/test/cbmc/proofs/MQTTAgent_ProcessLoop/MQTTAgent_ProcessLoop_harness.c index 7f2c5cdd..276286ce 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c b/test/cbmc/proofs/MQTTAgent_Publish/MQTTAgent_Publish_harness.c index 6e78833f..8a9f3cff 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c b/test/cbmc/proofs/MQTTAgent_ResumeSession/MQTTAgent_ResumeSession_harness.c index d0f53104..67f3cdba 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c b/test/cbmc/proofs/MQTTAgent_Subscribe/MQTTAgent_Subscribe_harness.c index 016374fa..ad90d642 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c b/test/cbmc/proofs/MQTTAgent_Terminate/MQTTAgent_Terminate_harness.c index d0f06273..74a45981 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c b/test/cbmc/proofs/MQTTAgent_Unsubscribe/MQTTAgent_Unsubscribe_harness.c index a73c5c7b..1f6c8805 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/sources/mqtt_agent_cbmc_state.c b/test/cbmc/sources/mqtt_agent_cbmc_state.c index 26e21338..da6931ad 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/agent_command_functions_stub.c b/test/cbmc/stubs/agent_command_functions_stub.c index 021a0673..c9288708 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/agent_command_pool_stubs.c b/test/cbmc/stubs/agent_command_pool_stubs.c index b8f0a4df..68275310 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/agent_message_stubs.c b/test/cbmc/stubs/agent_message_stubs.c index 783c637f..b8c2979a 100644 --- a/test/cbmc/stubs/agent_message_stubs.c +++ b/test/cbmc/stubs/agent_message_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/core_mqtt_stubs.c b/test/cbmc/stubs/core_mqtt_stubs.c index 6e74860a..6c617c43 100644 --- a/test/cbmc/stubs/core_mqtt_stubs.c +++ b/test/cbmc/stubs/core_mqtt_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index b2065953..0b9e7311 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/incoming_publish_callback_stub.c b/test/cbmc/stubs/incoming_publish_callback_stub.c index 61d95f5f..b1693c58 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/cbmc/stubs/network_interface_stubs.c b/test/cbmc/stubs/network_interface_stubs.c index ec0803bf..b6fd32e3 100644 --- a/test/cbmc/stubs/network_interface_stubs.c +++ b/test/cbmc/stubs/network_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/config/core_mqtt_config.h b/test/unit-test/config/core_mqtt_config.h index 1d5ea96f..f1548fcf 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/logging/logging_levels.h b/test/unit-test/logging/logging_levels.h index 6dad21ab..4e867bdc 100644 --- a/test/unit-test/logging/logging_levels.h +++ b/test/unit-test/logging/logging_levels.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/logging/logging_stack.h b/test/unit-test/logging/logging_stack.h index 12949cef..4868eb13 100644 --- a/test/unit-test/logging/logging_stack.h +++ b/test/unit-test/logging/logging_stack.h @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/mqtt_agent_command_functions_utest.c b/test/unit-test/mqtt_agent_command_functions_utest.c index 57bd77d1..11ffdb37 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.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/test/unit-test/mqtt_agent_utest.c b/test/unit-test/mqtt_agent_utest.c index 5ee9c8ab..57d54fdd 100644 --- a/test/unit-test/mqtt_agent_utest.c +++ b/test/unit-test/mqtt_agent_utest.c @@ -1,5 +1,5 @@ /* - * coreMQTT Agent v1.1.0 + * coreMQTT Agent v1.2.0 * Copyright (C) 2021 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of