Clang-format

Author: peterschrammel

regression/cbmc-cover/pointer-function-parameters-2/main.c

@@ -8,7 +8,7 @@ int fun(int **a)
   {
     return 1;
   }
-  if(**a==4)
+  if(**a == 4)
   {
     return 2;
   }

regression/cbmc-cover/pointer-function-parameters/main.c

@@ -4,7 +4,7 @@ int fun(int *a)
   {
     return 0;
   }
-  if(*a==4)
+  if(*a == 4)
   {
     return 1;
   }