Swapping to clang-format

.github/workflows/ci.yml

@@ -116,6 +116,7 @@ jobs:
             config: .github/memory_statistics_config.json
             check_against: docs/doxygen/include/size_table.md
   proof_ci:
+    if: ${{ github.event.pull_request }}
     runs-on: cbmc_ubuntu-latest_16-core
     steps:
       - name: Set up CBMC runner

source/include/shadow_config_defaults.h

@@ -4,22 +4,23 @@
  *
  * SPDX-License-Identifier: MIT
  *
- * Permission is hereby granted, free of charge, to any person obtaining a copy of
- * this software and associated documentation files (the "Software"), to deal in
- * the Software without restriction, including without limitation the rights to
- * use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
- * the Software, and to permit persons to whom the Software is furnished to do so,
- * subject to the following conditions:
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
  *
- * The above copyright notice and this permission notice shall be included in all
- * copies or substantial portions of the Software.
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
  *
  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
- * FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
- * COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
- * IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
- * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+ * SOFTWARE.
  */
 
 /**
@@ -30,8 +31,8 @@
  * @note This file SHOULD NOT be modified. If custom values are needed for
  * any configuration macro, a shadow_config.h file should be provided to
  * the Shadow library to override the default values defined in this file.
- * To use the custom config file, the SHADOW_DO_NOT_USE_CUSTOM_CONFIG preprocessor
- * macro SHOULD NOT be set.
+ * To use the custom config file, the SHADOW_DO_NOT_USE_CUSTOM_CONFIG
+ * preprocessor macro SHOULD NOT be set.
  */
 
 #ifndef SHADOW_CONFIG_DEFAULTS_H_
@@ -41,14 +42,14 @@
  * documentation only. */
 
 /**
- * @brief Define this macro to build the Shadow library without the custom config
- * file shadow_config.h.
+ * @brief Define this macro to build the Shadow library without the custom
+ * config file shadow_config.h.
  *
  * Without the custom config, the Shadow library builds with
  * default values of config macros defined in shadow_config_defaults.h file.
  *
- * If a custom config is provided, then SHADOW_DO_NOT_USE_CUSTOM_CONFIG should not
- * be defined.
+ * If a custom config is provided, then SHADOW_DO_NOT_USE_CUSTOM_CONFIG should
+ * not be defined.
  */
 #ifdef DOXYGEN
     #define SHADOW_DO_NOT_USE_CUSTOM_CONFIG
@@ -58,17 +59,19 @@
  * @brief Macro that is called in the Shadow library for logging "Error" level
  * messages.
  *
- * To enable error level logging in the Shadow library, this macro should be mapped to the
- * application-specific logging implementation that supports error logging.
+ * To enable error level logging in the Shadow library, this macro should be
+ * mapped to the application-specific logging implementation that supports error
+ * logging.
  *
- * @note This logging macro is called in the Shadow library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to shadow_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ * @note This logging macro is called in the Shadow library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * shadow_config.h files, and the logging-stack in demos folder of the [AWS IoT
+ * Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
  *
- * <b>Default value</b>: Error logging is turned off, and no code is generated for calls
- * to the macro in the Shadow library on compilation.
+ * <b>Default value</b>: Error logging is turned off, and no code is generated
+ * for calls to the macro in the Shadow library on compilation.
  */
 #ifndef LogError
     #define LogError( message )
@@ -78,17 +81,19 @@
  * @brief Macro that is called in the Shadow library for logging "Warning" level
  * messages.
  *
- * To enable warning level logging in the Shadow library, this macro should be mapped to the
- * application-specific logging implementation that supports warning logging.
+ * To enable warning level logging in the Shadow library, this macro should be
+ * mapped to the application-specific logging implementation that supports
+ * warning logging.
  *
- * @note This logging macro is called in the Shadow library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to shadow_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ * @note This logging macro is called in the Shadow library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * shadow_config.h files, and the logging-stack in demos folder of the [AWS IoT
+ * Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
  *
- * <b>Default value</b>: Warning logs are turned off, and no code is generated for calls
- * to the macro in the Shadow library on compilation.
+ * <b>Default value</b>: Warning logs are turned off, and no code is generated
+ * for calls to the macro in the Shadow library on compilation.
  */
 #ifndef LogWarn
     #define LogWarn( message )
@@ -98,17 +103,19 @@
  * @brief Macro that is called in the Shadow library for logging "Info" level
  * messages.
  *
- * To enable info level logging in the Shadow library, this macro should be mapped to the
- * application-specific logging implementation that supports info logging.
+ * To enable info level logging in the Shadow library, this macro should be
+ * mapped to the application-specific logging implementation that supports info
+ * logging.
  *
- * @note This logging macro is called in the Shadow library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to shadow_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ * @note This logging macro is called in the Shadow library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * shadow_config.h files, and the logging-stack in demos folder of the [AWS IoT
+ * Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
  *
- * <b>Default value</b>: Info logging is turned off, and no code is generated for calls
- * to the macro in the Shadow library on compilation.
+ * <b>Default value</b>: Info logging is turned off, and no code is generated
+ * for calls to the macro in the Shadow library on compilation.
  */
 #ifndef LogInfo
     #define LogInfo( message )
@@ -118,17 +125,19 @@
  * @brief Macro that is called in the Shadow library for logging "Debug" level
  * messages.
  *
- * To enable debug level logging from Shadow library, this macro should be mapped to the
- * application-specific logging implementation that supports debug logging.
+ * To enable debug level logging from Shadow library, this macro should be
+ * mapped to the application-specific logging implementation that supports debug
+ * logging.
  *
- * @note This logging macro is called in the Shadow library with parameters wrapped in
- * double parentheses to be ISO C89/C90 standard compliant. For a reference
- * POSIX implementation of the logging macros, refer to shadow_config.h files, and the
- * logging-stack in demos folder of the
- * [AWS IoT Embedded C SDK repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
+ * @note This logging macro is called in the Shadow library with parameters
+ * wrapped in double parentheses to be ISO C89/C90 standard compliant. For a
+ * reference POSIX implementation of the logging macros, refer to
+ * shadow_config.h files, and the logging-stack in demos folder of the [AWS IoT
+ * Embedded C SDK
+ * repository](https://github.com/aws/aws-iot-device-sdk-embedded-C).
  *
- * <b>Default value</b>: Debug logging is turned off, and no code is generated for calls
- * to the macro in the Shadow library on compilation.
+ * <b>Default value</b>: Debug logging is turned off, and no code is generated
+ * for calls to the macro in the Shadow library on compilation.
  */
 #ifndef LogDebug
     #define LogDebug( message )