Update joined thread test case annotations

goblint · Jul 31, 2023 · 49a6d54 · 49a6d54
1 parent c01585d
commit 49a6d54
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tests/regression/74-use_after_free/13-multi-threaded-uaf-with-joined-thread.c b/tests/regression/74-use_after_free/13-multi-threaded-uaf-with-joined-thread.c
@@ -1,4 +1,4 @@
-//PARAM: --set ana.activated[+] useAfterFree
+//PARAM: --set ana.activated[+] useAfterFree --set ana.activated[+] threadJoins
 #include <stdlib.h>
 #include <stdio.h>
 #include <pthread.h>
@@ -26,7 +26,7 @@ int main() {
 
     pthread_mutex_lock(&mtx);
     *gptr = 43; //NOWARN
-    free(gptr); //WARN
+    free(gptr); //NOWARN
     pthread_mutex_unlock(&mtx);
 
     return 0;