Add missing SKIP to 89-apron3/04-combine-dead (PR #1961)

sim642 · sim642 · commit 02cf3d507f6d · 2026-04-25T11:01:01.000+03:00
diff --git a/tests/regression/89-apron3/04-combine-dead.c b/tests/regression/89-apron3/04-combine-dead.c
@@ -1,4 +1,4 @@
-// PARAM: --set ana.activated[+] apron --set ana.path_sens[+] base --set ana.ctx_insens[+] base --set ana.ctx_insens[+] apron --enable ana.int.interval
+// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] base --set ana.ctx_insens[+] base --set ana.ctx_insens[+] apron --enable ana.int.interval
 // NOCRASH
 #include <goblint.h>
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-// PARAM: --set ana.activated[+] apron --set ana.path_sens[+] base --set ana.ctx_insens[+] base --set ana.ctx_insens[+] apron --enable ana.int.interval`
	`1`	`+// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] base --set ana.ctx_insens[+] base --set ana.ctx_insens[+] apron --enable ana.int.interval`
`2`	`2`	`// NOCRASH`
`3`	`3`	`#include <goblint.h>`
`4`	`4`