cleaned up regtest

DrMichaelPetter · DrMichaelPetter · commit 514df801a038 · 2025-11-21T10:46:21.000+01:00
diff --git a/tests/regression/89-apron3/04-polyhedra-narrowing1.c b/tests/regression/89-apron3/04-polyhedra-narrowing1.c
@@ -1,4 +1,4 @@
-// SKIP TODO TERM PARAM: --set ana.apron.narrowing_gas 1 --set ana.activated[+] apron --set ana.apron.domain polyhedra
+// SKIP PARAM: --set ana.apron.narrowing_gas 1 --set ana.activated[+] apron --set ana.apron.domain polyhedra
 // Apron is not precise enough for some nested loops
 #include <goblint.h>
 #include <stdio.h>

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// SKIP TODO TERM PARAM: --set ana.apron.narrowing_gas 1 --set ana.activated[+] apron --set ana.apron.domain polyhedra`
	`1`	`+// SKIP PARAM: --set ana.apron.narrowing_gas 1 --set ana.activated[+] apron --set ana.apron.domain polyhedra`
`2`	`2`	`// Apron is not precise enough for some nested loops`
`3`	`3`	`#include <goblint.h>`
`4`	`4`	`#include <stdio.h>`