Use strengthening in 36-apron/98-loc

goblint · Nov 27, 2023 · fa1f6fa · fa1f6fa
1 parent 2beea6e
commit fa1f6fa
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/regression/36-apron/98-loc.c b/tests/regression/36-apron/98-loc.c
@@ -1,4 +1,5 @@
-// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.activated[+] threadJoins --set ana.relation.privatization mutex-meet-tid --enable ana.thread.include-node
+// SKIP PARAM: --set ana.activated[+] apron --set ana.path_sens[+] threadflag --set ana.activated[+] threadJoins --set ana.relation.privatization mutex-meet-tid --enable ana.thread.include-node --enable ana.apron.strengthening
+// strengthening needed with relational unprotected invariant in mutex-meet-tid
 #include <pthread.h>
 #include <goblint.h>