Termination: Update verdict to TODO for 78/35.

Case can no longer be handled when no longer using signed integers and assuming no-overflow.
goblint · Nov 14, 2023 · 2728c2a · 2728c2a
1 parent f81ca2c
commit 2728c2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/78-termination/35-goto-out-of-inner-loop-with-print-terminating.c b/tests/regression/78-termination/35-goto-out-of-inner-loop-with-print-terminating.c
@@ -1,4 +1,4 @@
-// SKIP TERM PARAM: --set "ana.activated[+]" termination --set "ana.activated[+]" apron --enable ana.int.interval --set ana.apron.domain polyhedra --set sem.int.signed_overflow assume_none
+// SKIP TODO TERM PARAM: --set "ana.activated[+]" termination --set "ana.activated[+]" apron --enable ana.int.interval --set ana.apron.domain polyhedra --set sem.int.signed_overflow assume_none
 #include <stdio.h>
 
 int main()