Merge pull request #3203 from tautschnig/regression-test-header-cleanup

Remove unused includes from regression tests

Author: kroening

regression/cbmc/Endianness6/main.c

@@ -1,4 +1,4 @@
-#include <stdio.h>
+#include <assert.h>
 
 int main()
 {

regression/cbmc/Function_Pointer13/main.c

@@ -1,35 +1,32 @@
-#include <stdlib.h>
-#include <stdio.h>
 #include <assert.h>
 
 typedef unsigned int u32;
 typedef unsigned long long int u64;
 
 typedef u32 (*myfuncptr)(u32 value);
 
-u32 myfunc_1(u32 value1){
-   return value1*2;
+u32 myfunc_1(u32 value1)
+{
+  return value1 * 2;
 }
 
 u32 myfunc_2(u32 value2){
-   assert(value2==4);
-   return value2*4;
+  assert(value2 == 4);
+  return value2 * 4;
 }
 
 int main(void){
-myfuncptr fptr=NULL;
-u32 value;
+  myfuncptr fptr = 0;
+  u32 value;
 
+  assert(fptr == 0);
 
-assert(fptr == NULL);
-
-fptr=myfunc_1;
-value=2;
-value=fptr(value);    //value should be 4 after this
-assert(value == 4);
-
-fptr=myfunc_2;
-value=fptr(value);    //value should be 16 after this
-assert(value == 16);
+  fptr = myfunc_1;
+  value = 2;
+  value = fptr(value); //value should be 4 after this
+  assert(value == 4);
 
+  fptr = myfunc_2;
+  value = fptr(value); //value should be 16 after this
+  assert(value == 16);
 }

regression/cbmc/Variadic1/main.c

@@ -1,5 +1,4 @@
 #include <stdarg.h>
-#include <stdio.h>
 #include <assert.h>
 
 // how to do it:

regression/cbmc/byte_update1/main.c

@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include <assert.h>
 
 struct A {

regression/cbmc/byte_update3/main.c

@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include <assert.h>
 
 int main(int argc, char** argv) {

regression/cbmc/byte_update4/main.c

@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include <assert.h>
 
 int main(int argc, char** argv) {

regression/cbmc/byte_update5/main.c

@@ -1,4 +1,3 @@
-#include <stdio.h>
 #include <assert.h>
 
 int main(int argc, char** argv) {

regression/cbmc/complex1/main.c

@@ -1,5 +1,4 @@
 #include <assert.h>
-#include <stdio.h>
 
 int main()
 {

regression/cbmc/dynamic_sizeof1/main.c

@@ -1,4 +1,3 @@
-#include <stdlib.h>
 #include <assert.h>
 
 int main()

regression/cbmc/pointer-extra-checks/main.c

@@ -1,6 +1,3 @@
-#include <assert.h>
-#include <stdlib.h>
-
 int main()
 {
   {