tc11_XCHG.vgtest tc11_XCHG.stdout.exp tc11_XCHG.stderr.exp \
tc12_rwl_trivial.vgtest tc12_rwl_trivial.stdout.exp \
tc12_rwl_trivial.stderr.exp \
+ tc12_rwl_trivial.stderr.exp-darwin970 \
tc13_laog1.vgtest tc13_laog1.stdout.exp tc13_laog1.stderr.exp \
tc14_laog_dinphils.vgtest tc14_laog_dinphils.stdout.exp \
tc14_laog_dinphils.stderr.exp \
--- /dev/null
+
+Thread #x is the program's root thread
+
+Thread #x unlocked a not-locked lock at 0x........
+ at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...)
+ by 0x........: main (tc12_rwl_trivial.c:35)
+ Lock at 0x........ was first observed
+ at 0x........: pthread_rwlock_init* (hg_intercepts.c:...)
+ by 0x........: main (tc12_rwl_trivial.c:24)
+
+Thread #x's call to pthread_rwlock_unlock failed
+ with error code 22 (EINVAL: Invalid argument)
+ at 0x........: pthread_rwlock_unlock* (hg_intercepts.c:...)
+ by 0x........: main (tc12_rwl_trivial.c:35)
+
+ERROR SUMMARY: 2 errors from 2 contexts (suppressed: 0 from 0)