clang-format recently moved tests

Author: tautschnig

regression/cbmc-cpp/Address_of_Method1/main.cpp

@@ -12,7 +12,7 @@ void x::f()
 
 int main()
 {
-  assert(&x::f!=0);
+  assert(&x::f != 0);
 
-  assert(&x::i!=0);
+  assert(&x::i != 0);
 }

regression/cbmc-cpp/Anonymous_members1/main.cpp

@@ -4,24 +4,26 @@ typedef signed LONG;
 typedef long long LONGLONG;
 
 typedef union _LARGE_INTEGER {
-    struct {
-        DWORD LowPart;
-        LONG HighPart;
-    };
-    struct {
-        DWORD LowPart;
-        LONG HighPart;
-    } u;
+  struct
+  {
+    DWORD LowPart;
+    LONG HighPart;
+  };
+  struct
+  {
+    DWORD LowPart;
+    LONG HighPart;
+  } u;
 
-    LONGLONG QuadPart;
+  LONGLONG QuadPart;
 } LARGE_INTEGER;
 
 int main()
 {
   LARGE_INTEGER l;
 
-  l.QuadPart=1;
-  l.LowPart=2;
-  l.u.LowPart=3;
-  assert(l.LowPart==3);
+  l.QuadPart = 1;
+  l.LowPart = 2;
+  l.u.LowPart = 3;
+  assert(l.LowPart == 3);
 }

regression/cbmc-cpp/Array1/main.cpp

@@ -2,9 +2,9 @@ int y[5][4][3][2];
 
 int main()
 {
-  for(int i=0; i<5; i++)
-    for(int j=0; j<4; j++)
-      for(int k=0; k<3; k++)
-        for(int l=0; l<2; l++)
-          y[i][j][k][l]=2;
+  for(int i = 0; i < 5; i++)
+    for(int j = 0; j < 4; j++)
+      for(int k = 0; k < 3; k++)
+        for(int l = 0; l < 2; l++)
+          y[i][j][k][l] = 2;
 }

regression/cbmc-cpp/Array2/main.cpp

@@ -2,9 +2,9 @@ int y[2][3][4][5];
 
 int main()
 {
-  for(int i=0; i<5; i++)
-    for(int j=0; j<4; j++)
-      for(int k=0; k<3; k++)
-        for(int l=0; l<2; l++)
-          y[i][j][k][l]=2; // out-of-bounds
+  for(int i = 0; i < 5; i++)
+    for(int j = 0; j < 4; j++)
+      for(int k = 0; k < 3; k++)
+        for(int l = 0; l < 2; l++)
+          y[i][j][k][l] = 2; // out-of-bounds
 }

regression/cbmc-cpp/Array3/main.cpp

@@ -1,11 +1,11 @@
 struct C
 {
-  static const char * array[1];
+  static const char *array[1];
 };
 
-const char * C::array[1] = { "HELLO" };
+const char *C::array[1] = {"HELLO"};
 
-int main(int argc, const char* argv[])
+int main(int argc, const char *argv[])
 {
   assert(*C::array[0] == 'H');
 }

regression/cbmc-cpp/Array4/elsewhere.cpp

@@ -4,5 +4,5 @@ void elsewhere()
 {
   char ch;
   // should fail, this is out of bounds
-  ch=my_string[10];
+  ch = my_string[10];
 }

regression/cbmc-cpp/Array4/main.cpp

@@ -1,4 +1,4 @@
-char my_string[]="abc";
+char my_string[] = "abc";
 
 void elsewhere();
 

regression/cbmc-cpp/Assignment1/main.cpp

@@ -1,10 +1,13 @@
 #include <cassert>
-struct A { int i;};
+struct A
+{
+  int i;
+};
 
 struct B
 {
   int i;
-  B& operator = (const B& b)
+  B &operator=(const B &b)
   {
     i = b.i;
     return *this;
@@ -18,7 +21,6 @@ A funcA()
   return a;
 }
 
-
 B funcB()
 {
   B b;
@@ -34,5 +36,5 @@ int main()
 
   B b;
   b.i = 20;
-  assert((funcB() = b).i == 20);  // legal
+  assert((funcB() = b).i == 20); // legal
 }

regression/cbmc-cpp/Class_Members1/main.cpp

@@ -5,25 +5,25 @@ class t
   int i;
   void f();
 
-  void g(double xxx=3.2);
+  void g(double xxx = 3.2);
 };
 
 void t::f()
 {
-  i=1;
+  i = 1;
 }
 
 void t::g(double d)
 {
-  i=(int)d;
+  i = (int)d;
 }
 
 int main()
 {
   t instance;
   instance.f();
-  assert(instance.i==1);
+  assert(instance.i == 1);
 
   instance.g(2.1);
-  assert(instance.i==2);
+  assert(instance.i == 2);
 }

regression/cbmc-cpp/Comma_Operator1/main.cpp

@@ -1,9 +1,9 @@
 #include <cassert>
 int main()
 {
-   int s=0;
-   int t=0;
-   t=(s=3, s+2);
-   assert(s==3);
-   assert(t==5);
+  int s = 0;
+  int t = 0;
+  t = (s = 3, s + 2);
+  assert(s == 3);
+  assert(t == 5);
 }