Clang format

hybrid/threads_ddc.c

@@ -5,17 +5,17 @@
  * The number of threads to execute can be changed by modifying `t_count`.
  ***/
 
+#include <math.h>
 #include <pthread.h>
 #include <stdbool.h>
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
-#include <math.h>
 
 #include "cheriintrin.h"
 
-#include "./include/utils.h"
 #include "../include/common.h"
+#include "./include/utils.h"
 
 struct t_info
 {
@@ -32,7 +32,9 @@ void *run_thread(void *curr_t_info_ptr)
         cheri_address_set(cheri_ddc_get(), (intptr_t) curr_t_info->addr_in);
     write_ddc(new_ddc);
     // Force wait to ensure threads don't die too fast
-    for (size_t i = 0; i < pow(10, 6); ++i) { };
+    for (size_t i = 0; i < pow(10, 6); ++i)
+    {
+    };
     curr_t_info->ddc_out = read_ddc();
     return NULL;
 }