Skip incrementally broken OS X tests

goblint · Mar 13, 2023 · 7c41ae5 · 7c41ae5
1 parent 3478609
commit 7c41ae5
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 1 deletion.
diff --git a/tests/incremental/11-restart/12-mutex-simple-access.c b/tests/incremental/11-restart/12-mutex-simple-access.c
@@ -1,3 +1,4 @@
+// SKIP!
 // Same as 13-restart-write/01-mutex-simple
 #include <pthread.h>
 #include <stdio.h>

diff --git a/tests/incremental/11-restart/17-mutex-simple-fuel.c b/tests/incremental/11-restart/17-mutex-simple-fuel.c
@@ -1,3 +1,4 @@
+// SKIP!
 #include <pthread.h>
 #include <stdio.h>
 

diff --git a/tests/incremental/13-restart-write/05-race-call-remove.c b/tests/incremental/13-restart-write/05-race-call-remove.c
@@ -1,3 +1,4 @@
+// SKIP!
 #include <pthread.h>
 
 int g;
@@ -16,4 +17,4 @@ int main() {
   pthread_create(&id, NULL, t_fun, NULL);
   foo();
   return 0;
-}
+}
diff --git a/tests/incremental/13-restart-write/06-mutex-simple-reluctant.c b/tests/incremental/13-restart-write/06-mutex-simple-reluctant.c
@@ -1,3 +1,4 @@
+// SKIP!
 #include <pthread.h>
 #include <stdio.h>