diff --git a/tests/regression/04-mutex/58-pthread-lock-return.c b/tests/regression/04-mutex/58-pthread-lock-return.c
index 0ae96b60ae..3e2a05c94e 100644
--- a/tests/regression/04-mutex/58-pthread-lock-return.c
+++ b/tests/regression/04-mutex/58-pthread-lock-return.c
@@ -70,7 +70,7 @@ void *t_fun(void *arg) {
 
 #ifndef __APPLE__
   if (!pthread_spin_lock(&spin)) {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
     g_spin++; // NORACE
     pthread_spin_unlock(&spin);
   }
@@ -79,12 +79,12 @@ void *t_fun(void *arg) {
   }
 
   if (!pthread_spin_trylock(&spin)) {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
     g_spin++; // NORACE
     pthread_spin_unlock(&spin);
   }
   else {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable (TODO for OSX)
   }
 #endif