36/15 activate sv-comp libraries

goblint · Oct 1, 2023 · c53f193 · c53f193
1 parent c8ed7e2
commit c53f193
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/regression/36-apron/15-globals-st.c b/tests/regression/36-apron/15-globals-st.c
@@ -1,4 +1,4 @@
-// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --disable ana.int.interval
+// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --disable ana.int.interval --set lib.activated[+] sv-comp
 extern int __VERIFIER_nondet_int();
 
 #include <goblint.h>