Remove TODO from 78-termination/25-leave-loop-goto-terminating (issue #…

…1425) Passing again since f81ca2c.
goblint · Apr 23, 2024 · d5081d7 · d5081d7
1 parent fa55034
commit d5081d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/78-termination/25-leave-loop-goto-terminating.c b/tests/regression/78-termination/25-leave-loop-goto-terminating.c
@@ -1,4 +1,4 @@
-// SKIP TODO TERM PARAM: --set "ana.activated[+]" termination --set ana.activated[+] apron --enable ana.int.interval --set ana.apron.domain polyhedra
+// SKIP TERM PARAM: --set "ana.activated[+]" termination --set ana.activated[+] apron --enable ana.int.interval --set ana.apron.domain polyhedra
 #include <stdio.h>
 
 int main()