Mark longjmp-top reachability test as TODO

goblint · Oct 16, 2023 · 5948ca4 · 5948ca4
1 parent a4261de
commit 5948ca4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/68-longjmp/56-longjmp-top.c b/tests/regression/68-longjmp/56-longjmp-top.c
@@ -15,7 +15,7 @@ int main() {
     longjmp(*buf_ptr, 1); // NO CRASH: problem?!
   }
   else {
-    __goblint_check(1); // reachable
+    __goblint_check(1); // TODO reachable: https://github.com/goblint/analyzer/pull/1210#discussion_r1350021903
   }
   return 0;
 }