Include goblint header

Author: michael-schwarz

tests/regression/86-barrier/01-simple.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -12,9 +13,9 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 2);
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Unreachable

tests/regression/86-barrier/02-more.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -26,12 +27,12 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 3);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Unreachable

tests/regression/86-barrier/03-problem.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -17,12 +18,12 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 2);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Live!

tests/regression/86-barrier/04-challenge.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -26,12 +27,12 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 3);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Unreachable

tests/regression/86-barrier/05-mhp-not-enough.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -21,19 +22,19 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 3);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Unreachable
         i = 1;
     } else {
         pthread_t t2;
-        pthread_create(&t2,NULL,f1,NULL);    
+        pthread_create(&t2,NULL,f1,NULL);
     }
 
 

tests/regression/86-barrier/06-multiprocess.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -12,15 +13,15 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrierattr_t barattr;
     pthread_barrierattr_setpshared(&barattr, PTHREAD_PROCESS_SHARED);
 
     pthread_barrier_init(&barrier, &barattr, 2);
 
     fork();
     pthread_t t1;
-    
+
     if(top) {
         pthread_barrier_wait(&barrier);
         // Reachable if both processes go into this branch

tests/regression/86-barrier/07-lockset.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -19,12 +20,12 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 2);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
-    
+
     if(top) {
         pthread_mutex_lock(&mutex);
         pthread_barrier_wait(&barrier);

tests/regression/86-barrier/08-lockset-more.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -26,16 +27,16 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 2);
 
     pthread_t t1;
     pthread_create(&t1,NULL,f1,NULL);
 
     pthread_t t2;
     pthread_create(&t2,NULL,f2,NULL);
-    
-    
+
+
     if(top) {
         pthread_barrier_wait(&barrier);
         i = 1;

tests/regression/86-barrier/09-race.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 int h;
@@ -21,7 +22,7 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 2);
 
     pthread_t t1;

tests/regression/86-barrier/10-several.c

@@ -2,6 +2,7 @@
 #include<pthread.h>
 #include<stdio.h>
 #include<unistd.h>
+#include<goblint.h>
 
 int g;
 
@@ -17,7 +18,7 @@ int main(int argc, char const *argv[])
 {
     int top;
     int i = 0;
-    
+
     pthread_barrier_init(&barrier, NULL, 4);
 
     pthread_t t1, t2, t3;