Add SKIP to 56-witness/45-apron-tracked-global-annot

goblint · Apr 24, 2024 · 3eee39f · 3eee39f
1 parent 98d9af4
commit 3eee39f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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)))