2 Semaphore reinitialization
: semaphore
0x........
3 at
0x........
: sem_init
(drd_pthread_intercepts.c
:?
)
4 by
0x........
: main
(tc18_semabuse.c
:26)
5 semaphore
0x........ was first observed at
:
6 at
0x........
: sem_init
(drd_pthread_intercepts.c
:?
)
7 by
0x........
: main
(tc18_semabuse.c
:23)
9 Invalid semaphore
: semaphore
0x........
10 at
0x........
: sem_wait
(drd_pthread_intercepts.c
:?
)
11 by
0x........
: main
(tc18_semabuse.c
:34)
12 semaphore
0x........ was first observed at
:
13 at
0x........
: sem_init
(drd_pthread_intercepts.c
:?
)
14 by
0x........
: main
(tc18_semabuse.c
:23)
17 ERROR SUMMARY
: 2 errors from
2 contexts
(suppressed
: 0 from
0)