run clang-format

peterohanley-galois · peterohanley-galois · commit ab96703ce6d5 · 2025-04-25T18:05:36.000-05:00
diff --git a/runtime/libcn/include/cn-testing/test.h b/runtime/libcn/include/cn-testing/test.h
@@ -2,6 +2,7 @@
 #define CN_TEST_H
 
 #include <sys/time.h>
+
 #include <setjmp.h>
 #include <stdbool.h>
 #include <stdio.h>
diff --git a/runtime/libcn/src/cn-executable/utils.c b/runtime/libcn/src/cn-executable/utils.c
@@ -332,8 +332,7 @@ void cn_assume_ownership(void* generic_c_ptr, unsigned long size, char* fun) {
   }
 }
 
-void cn_get_or_put_ownership(
-    enum spec_mode spec_mode, void *generic_c_ptr, size_t size) {
+void cn_get_or_put_ownership(enum spec_mode spec_mode, void* generic_c_ptr, size_t size) {
   nr_owned_predicates++;
   switch (spec_mode) {
     case PRE: {

Original file line number	Diff line number	Diff line change
`@@ -332,8 +332,7 @@ void cn_assume_ownership(void* generic_c_ptr, unsigned long size, char* fun) {`
`332`	`332`	`}`
`333`	`333`	`}`
`334`	`334`
`335`		`-void cn_get_or_put_ownership(`
`336`		`- enum spec_mode spec_mode, void *generic_c_ptr, size_t size) {`
	`335`	`+void cn_get_or_put_ownership(enum spec_mode spec_mode, void* generic_c_ptr, size_t size) {`
`337`	`336`	`nr_owned_predicates++;`
`338`	`337`	`switch (spec_mode) {`
`339`	`338`	`case PRE: {`