1
2Thread #x is the program's root thread
3
4Thread #x unlocked a not-locked lock at 0x........
5   at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...)
6   by 0x........: main (tc12_rwl_trivial.c:35)
7  Lock at 0x........ was first observed
8   at 0x........: pthread_rwlock_init* (hg_intercepts.c:...)
9   by 0x........: main (tc12_rwl_trivial.c:24)
10
11Thread #x's call to pthread_rwlock_unlock failed
12   with error code 22 (EINVAL: Invalid argument)
13   at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...)
14   by 0x........: main (tc12_rwl_trivial.c:35)
15
16
17ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)
18