Annotate test 13-add-zero-to-struct-ptr with NOCRASH

goblint · Jan 30, 2025 · fd82abd · fd82abd
1 parent 9f7ea61
commit fd82abd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/02-base/13-add-zero-to-struct-ptr.c b/tests/regression/02-base/13-add-zero-to-struct-ptr.c
@@ -1,5 +1,5 @@
 #include <pthread.h>
-
+//NOCRASH
 struct a {
   pthread_mutex_t b;
 };