Revert "Use strengthening in 36-apron/98-loc"

This reverts commit fa1f6fa.
goblint · Nov 29, 2023 · e4c575b · e4c575b
1 parent f2b2a39
commit e4c575b
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/tests/regression/36-apron/98-loc.c b/tests/regression/36-apron/98-loc.c
@@ -1,5 +1,4 @@
-// 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
+// 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
 #include <pthread.h>
 #include <goblint.h>