68/[52-55] Don't include goblint.h, it is unused

goblint · Sep 16, 2023 · 18fe6d1 · 18fe6d1
1 parent fb7159c
commit 18fe6d1
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 5 deletions.
diff --git a/tests/regression/68-longjmp/52-races.c b/tests/regression/68-longjmp/52-races.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <setjmp.h>
-#include <goblint.h>
 #include <pthread.h>
 
 jmp_buf env_buffer;

diff --git a/tests/regression/68-longjmp/53-races-no.c b/tests/regression/68-longjmp/53-races-no.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <setjmp.h>
-#include <goblint.h>
 #include <pthread.h>
 
 jmp_buf env_buffer;

diff --git a/tests/regression/68-longjmp/54-races-actually.c b/tests/regression/68-longjmp/54-races-actually.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <setjmp.h>
-#include <goblint.h>
 #include <pthread.h>
 
 jmp_buf env_buffer;
@@ -44,7 +43,7 @@ int main() {
    }
 
    global = 5; //RACE
-   
+
    if(n == 0) {
       pthread_mutex_unlock(&mutex1);
    }

diff --git a/tests/regression/68-longjmp/55-races-no-return.c b/tests/regression/68-longjmp/55-races-no-return.c
@@ -2,7 +2,6 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <setjmp.h>
-#include <goblint.h>
 #include <pthread.h>
 
 jmp_buf env_buffer;