From 38175c2bc9c0981937a232ff1094d0f485eac1b0 Mon Sep 17 00:00:00 2001 From: Archit Aggarwal Date: Thu, 25 Feb 2021 14:00:13 -0800 Subject: [PATCH] Update CHANGELOG and file versioning for upcoming release (#96) --- CHANGELOG.md | 6 ++++++ docs/doxygen/config.doxyfile | 2 +- manifest.yml | 2 +- source/core_http_client.c | 2 +- source/include/core_http_client.h | 2 +- source/include/core_http_client_private.h | 2 +- source/include/core_http_config_defaults.h | 2 +- source/interface/transport_interface.h | 2 +- test/cbmc/include/callback_stubs.h | 2 +- test/cbmc/include/core_http_config.h | 2 +- test/cbmc/include/get_time_stub.h | 2 +- test/cbmc/include/http_cbmc_state.h | 2 +- test/cbmc/include/transport_interface_stubs.h | 2 +- .../HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c | 2 +- .../HTTPClient_AddRangeHeader_harness.c | 2 +- .../HTTPClient_InitializeRequestHeaders_harness.c | 2 +- .../HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c | 2 +- test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c | 2 +- .../HTTPClient_strerror/HTTPClient_strerror_harness.c | 2 +- .../findHeaderFieldParserCallback_harness.c | 2 +- .../findHeaderOnHeaderCompleteCallback_harness.c | 2 +- .../findHeaderValueParserCallback_harness.c | 2 +- .../httpParserOnBodyCallback_harness.c | 2 +- .../httpParserOnHeaderFieldCallback_harness.c | 2 +- .../httpParserOnHeaderValueCallback_harness.c | 2 +- .../httpParserOnHeadersCompleteCallback_harness.c | 2 +- .../httpParserOnMessageBeginCallback_harness.c | 2 +- .../httpParserOnMessageCompleteCallback_harness.c | 2 +- .../httpParserOnStatusCallback_harness.c | 2 +- test/cbmc/sources/http_cbmc_state.c | 2 +- test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c | 2 +- test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c | 2 +- test/cbmc/stubs/callback_stubs.c | 2 +- test/cbmc/stubs/get_time_stub.c | 2 +- test/cbmc/stubs/httpHeaderStrncpy.c | 2 +- test/cbmc/stubs/memmove.c | 2 +- test/cbmc/stubs/strncpy.c | 2 +- test/cbmc/stubs/transport_interface_stubs.c | 2 +- test/unit-test/core_http_config.h | 2 +- test/unit-test/core_http_send_utest.c | 2 +- test/unit-test/core_http_utest.c | 2 +- 41 files changed, 46 insertions(+), 40 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index efb3d659..ad08c083 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Changelog for coreHTTP Client Library +## v2.0.1 (February 2021) + +### Other + +- [#89](https://github.com/FreeRTOS/coreHTTP/pull/89) Fix documentation of memory size estimates of the library. + ## v2.0.0 (December 2020) ### Updates diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile index 8dee11e4..c722f4a7 100644 --- a/docs/doxygen/config.doxyfile +++ b/docs/doxygen/config.doxyfile @@ -38,7 +38,7 @@ PROJECT_NAME = "coreHTTP" # could be handy for archiving the generated documentation or if some version # control system is used. -PROJECT_NUMBER = "v2.0.0" +PROJECT_NUMBER = "v2.0.1" # 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 3292f724..ef5f94e1 100644 --- a/manifest.yml +++ b/manifest.yml @@ -1,5 +1,5 @@ name : "coreHTTP" -version: "v2.0.0" +version: "v2.0.1" description: | "Client implementation of the HTTP/1.1 specification for embedded devices.\n" dependencies: diff --git a/source/core_http_client.c b/source/core_http_client.c index 8297b482..a93ee040 100644 --- a/source/core_http_client.c +++ b/source/core_http_client.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_client.h b/source/include/core_http_client.h index df09b3d1..c41d5d34 100644 --- a/source/include/core_http_client.h +++ b/source/include/core_http_client.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_client_private.h b/source/include/core_http_client_private.h index 6c130f0c..d87a7ddf 100644 --- a/source/include/core_http_client_private.h +++ b/source/include/core_http_client_private.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_config_defaults.h b/source/include/core_http_config_defaults.h index ee1a0f87..74cc4131 100644 --- a/source/include/core_http_config_defaults.h +++ b/source/include/core_http_config_defaults.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * Copyright (C) 2020 Amazon.com, Inc. or its affiliates. All Rights Reserved. * * Permission is hereby granted, free of charge, to any person obtaining a copy of diff --git a/source/interface/transport_interface.h b/source/interface/transport_interface.h index 4d885768..d436fa8f 100644 --- a/source/interface/transport_interface.h +++ b/source/interface/transport_interface.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/callback_stubs.h b/test/cbmc/include/callback_stubs.h index 18ad31e8..b1970fba 100644 --- a/test/cbmc/include/callback_stubs.h +++ b/test/cbmc/include/callback_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_config.h b/test/cbmc/include/core_http_config.h index b72fca3e..8ad97f1c 100644 --- a/test/cbmc/include/core_http_config.h +++ b/test/cbmc/include/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/get_time_stub.h b/test/cbmc/include/get_time_stub.h index cfb2f0e4..3bf70508 100644 --- a/test/cbmc/include/get_time_stub.h +++ b/test/cbmc/include/get_time_stub.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/http_cbmc_state.h b/test/cbmc/include/http_cbmc_state.h index d8d772bc..a78b4e79 100644 --- a/test/cbmc/include/http_cbmc_state.h +++ b/test/cbmc/include/http_cbmc_state.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/transport_interface_stubs.h b/test/cbmc/include/transport_interface_stubs.h index 05badd94..60670fae 100644 --- a/test/cbmc/include/transport_interface_stubs.h +++ b/test/cbmc/include/transport_interface_stubs.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c index 7b70cff0..5544afd3 100644 --- a/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddHeader/HTTPClient_AddHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c index 993037ee..5a3c6a68 100644 --- a/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_AddRangeHeader/HTTPClient_AddRangeHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c index b9b87108..e31b9587 100644 --- a/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c +++ b/test/cbmc/proofs/HTTPClient_InitializeRequestHeaders/HTTPClient_InitializeRequestHeaders_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c index c40c251d..52346f38 100644 --- a/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c +++ b/test/cbmc/proofs/HTTPClient_ReadHeader/HTTPClient_ReadHeader_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_Send/HTTPClient_Send_harness.c b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c index 3d9cd0c7..1947d55b 100644 --- a/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c +++ b/test/cbmc/proofs/HTTPClient_Send/HTTPClient_Send_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/HTTPClient_strerror/HTTPClient_strerror_harness.c b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c index 4e983abb..239d9d87 100644 --- a/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c +++ b/test/cbmc/proofs/HTTPClient_strerror/HTTPClient_strerror_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c index 3f4e9715..f4c6c6b5 100644 --- a/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderFieldParserCallback/findHeaderFieldParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c index 1f5d0244..444a3b21 100644 --- a/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c +++ b/test/cbmc/proofs/findHeaderOnHeaderCompleteCallback/findHeaderOnHeaderCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c index 3ca94a8f..4af188c3 100644 --- a/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c +++ b/test/cbmc/proofs/findHeaderValueParserCallback/findHeaderValueParserCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c index b6fd41de..752a93d4 100644 --- a/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnBodyCallback/httpParserOnBodyCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c index 82d86470..643a1ef5 100644 --- a/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderFieldCallback/httpParserOnHeaderFieldCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c index a347d328..64fd85d3 100644 --- a/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeaderValueCallback/httpParserOnHeaderValueCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c index dc18e4e5..0d51af8c 100644 --- a/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnHeadersCompleteCallback/httpParserOnHeadersCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c index 7744df61..01227f93 100644 --- a/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageBeginCallback/httpParserOnMessageBeginCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c index 6e5eef28..4cd32ce9 100644 --- a/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnMessageCompleteCallback/httpParserOnMessageCompleteCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c index 4c0093b2..5382b9b8 100644 --- a/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c +++ b/test/cbmc/proofs/httpParserOnStatusCallback/httpParserOnStatusCallback_harness.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/sources/http_cbmc_state.c b/test/cbmc/sources/http_cbmc_state.c index 263ea7e8..6c85bb90 100644 --- a/test/cbmc/sources/http_cbmc_state.c +++ b/test/cbmc/sources/http_cbmc_state.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/HTTPClient_ReadHeader_http_parser_execute.c b/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c index 08256cec..7bc2bc4a 100644 --- a/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c +++ b/test/cbmc/stubs/HTTPClient_ReadHeader_http_parser_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/HTTPClient_Send_http_parser_execute.c b/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c index 6195a7b9..22803e87 100644 --- a/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c +++ b/test/cbmc/stubs/HTTPClient_Send_http_parser_execute.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/callback_stubs.c b/test/cbmc/stubs/callback_stubs.c index 3d301bdc..459d2e08 100644 --- a/test/cbmc/stubs/callback_stubs.c +++ b/test/cbmc/stubs/callback_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/get_time_stub.c b/test/cbmc/stubs/get_time_stub.c index 91ef7444..4e15a52f 100644 --- a/test/cbmc/stubs/get_time_stub.c +++ b/test/cbmc/stubs/get_time_stub.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/httpHeaderStrncpy.c b/test/cbmc/stubs/httpHeaderStrncpy.c index 3513e93e..ce6aa796 100644 --- a/test/cbmc/stubs/httpHeaderStrncpy.c +++ b/test/cbmc/stubs/httpHeaderStrncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/memmove.c b/test/cbmc/stubs/memmove.c index cb1651ce..0c11d25a 100644 --- a/test/cbmc/stubs/memmove.c +++ b/test/cbmc/stubs/memmove.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/strncpy.c b/test/cbmc/stubs/strncpy.c index a6c2adf0..353a51ab 100644 --- a/test/cbmc/stubs/strncpy.c +++ b/test/cbmc/stubs/strncpy.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/stubs/transport_interface_stubs.c b/test/cbmc/stubs/transport_interface_stubs.c index 46bf896e..af95c67e 100644 --- a/test/cbmc/stubs/transport_interface_stubs.c +++ b/test/cbmc/stubs/transport_interface_stubs.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_config.h b/test/unit-test/core_http_config.h index 76af68cf..b59fee5d 100644 --- a/test/unit-test/core_http_config.h +++ b/test/unit-test/core_http_config.h @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_send_utest.c b/test/unit-test/core_http_send_utest.c index 9d38c37d..ce1739c5 100644 --- a/test/unit-test/core_http_send_utest.c +++ b/test/unit-test/core_http_send_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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/core_http_utest.c b/test/unit-test/core_http_utest.c index d8250bfe..b3e8ff24 100644 --- a/test/unit-test/core_http_utest.c +++ b/test/unit-test/core_http_utest.c @@ -1,5 +1,5 @@ /* - * coreHTTP v2.0.0 + * coreHTTP v2.0.1 * 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