We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent ab3b3c6 commit 81d3ac9Copy full SHA for 81d3ac9
1 file changed
tests/regression/53-races-mhp/57-dl_multiple_creates_conditional_racing.c
@@ -5,7 +5,7 @@ extern int __VERIFIER_nondet_int();
5
6
int global = 0;
7
pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;
8
-pthread_t id1, id2, id3;
+pthread_t id1, id2;
9
10
void *t1(void *arg) {
11
pthread_mutex_lock(&mutex);
0 commit comments