1
2---Thread-Announcement------------------------------------------
3
4Thread #x is the program's root thread
5
6----------------------------------------------------------------
7
8Thread #x's call to sema_init failed
9   with error code 22 (EINVAL: Invalid argument)
10   at 0x........: sema_init (hg_intercepts.c:...)
11   ...
12   by 0x........: main (tc18_semabuse.c:23)
13
14
15ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 0 from 0)
16