From fa1f6fac2e7ef7dce797bc10de8794dcd4d2e775 Mon Sep 17 00:00:00 2001 From: Simmo Saan Date: Mon, 27 Nov 2023 17:15:33 +0200 Subject: [PATCH] Use strengthening in 36-apron/98-loc --- tests/regression/36-apron/98-loc.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tests/regression/36-apron/98-loc.c b/tests/regression/36-apron/98-loc.c index 28be43a096..f9721fb579 100644 --- 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 #include