Skip incremental 13/01

goblint · Mar 13, 2023 · 7a605fb · 7a605fb
1 parent 7c41ae5
commit 7a605fb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tests/incremental/13-restart-write/01-mutex-simple.c b/tests/incremental/13-restart-write/01-mutex-simple.c
@@ -1,3 +1,4 @@
+// SKIP!
 #include <pthread.h>
 #include <stdio.h>