diff --git a/tests/regression/56-witness/45-apron-tracked-global-annot.c b/tests/regression/56-witness/45-apron-tracked-global-annot.c
index 6647e22079..0490c3321d 100644
--- a/tests/regression/56-witness/45-apron-tracked-global-annot.c
+++ b/tests/regression/56-witness/45-apron-tracked-global-annot.c
@@ -1,4 +1,4 @@
-// PARAM: --set ana.activated[+] apron --enable annotation.goblint_relation_track --set ana.activated[+] unassume --set witness.yaml.unassume 45-apron-tracked-global-annot.yml
+// SKIP PARAM: --set ana.activated[+] apron --enable annotation.goblint_relation_track --set ana.activated[+] unassume --set witness.yaml.unassume 45-apron-tracked-global-annot.yml
 #include <goblint.h>
 
 int g __attribute__((__goblint_relation_track__)) = 0;
diff --git a/tests/regression/56-witness/dune b/tests/regression/56-witness/dune
index 422a710175..7cb89fbe47 100644
--- a/tests/regression/56-witness/dune
+++ b/tests/regression/56-witness/dune
@@ -20,7 +20,8 @@
      (run %{update_suite} mine-tutorial-ex4.10)
      (run %{update_suite} hh-ex3)
      (run %{update_suite} bh-ex1-poly)
-     (run %{update_suite} apron-unassume-precheck)))))
+     (run %{update_suite} apron-unassume-precheck)
+     (run %{update_suite} apron-tracked-global-annot)))))
 
 (cram
  (deps (glob_files *.c) (glob_files ??-*.yml)))