Skip to content

Commit

Permalink
Remove unnecessary stuff from test case 74/15
Browse files Browse the repository at this point in the history
Co-authored-by: Simmo Saan <simmo.saan@gmail.com>
  • Loading branch information
mrstanb and sim642 authored Oct 11, 2023
1 parent 072f99d commit e339ed1
Showing 1 changed file with 1 addition and 3 deletions.
Original file line number Diff line number Diff line change
@@ -1,7 +1,5 @@
//PARAM: --set ana.activated[+] useAfterFree --set ana.activated[+] threadJoins
//PARAM: --set ana.activated[+] useAfterFree
#include <stdlib.h>
#include <stdio.h>
#include <pthread.h>

int *global;

Expand Down

0 comments on commit e339ed1

Please sign in to comment.