From d5081d7dd47d1e5c274d41e427df08c668593b37 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Tue, 23 Apr 2024 10:47:58 +0300 Subject: [PATCH] Remove TODO from 78-termination/25-leave-loop-goto-terminating (issue #1425) Passing again since f81ca2c0346716ada6abfc51f09dbf9143dc34c1. --- .../regression/78-termination/25-leave-loop-goto-terminating.c | 2 +- 1 file changed, 1 insertion(+), 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 index b882759bff..61c8b8f58d 100644 --- 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 int main()