Add NOCHECK to 13-privatized/56-aget_extern_init_minitmal

Apparently skipped still require NOCHECK.
goblint · Nov 25, 2024 · 73fd8cd · 73fd8cd
1 parent 0451046
commit 73fd8cd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/13-privatized/56-aget_extern_init_minimal.c b/tests/regression/13-privatized/56-aget_extern_init_minimal.c
@@ -1,7 +1,7 @@
 // SKIP
 #include <pthread.h>
 #include <stdlib.h>
-
+// NOCHECK
 extern int optind ;
 
 pthread_t hthread  ;