Add SKIP to apron test (PR #1354)

goblint · Mar 12, 2024 · 11a7f31 · 11a7f31
1 parent 2d55fec
commit 11a7f31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/46-apron2/79-context-insens.c b/tests/regression/46-apron2/79-context-insens.c
@@ -1,4 +1,4 @@
-// PARAM: --enable annotation.goblint_relation_track --set ana.activated[+] apron --set ana.activated[+] memLeak --set ana.ctx_insens "['base','mallocWrapper','mutexEvents','assert','apron','memLeak']" --set ana.malloc.unique_address_count 2
+// SKIP PARAM: --enable annotation.goblint_relation_track --set ana.activated[+] apron --set ana.activated[+] memLeak --set ana.ctx_insens "['base','mallocWrapper','mutexEvents','assert','apron','memLeak']" --set ana.malloc.unique_address_count 2
 
 // Adapted from https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/blob/main/c/list-properties/list_search-1.c
 #include <goblint.h>