Merge pull request #3818 from peterschrammel/move-cover-tests

Move --cover tests to cbmc-cover

Author: peterschrammel

regression/cbmc/pointer-function-parameters-2/main.c renamed to 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/pointer-function-parameters-2/test.desc renamed to regression/cbmc-cover/pointer-function-parameters-2/test.desc

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