Corpus for semtimedop:

Coverage	Program
2672	perf_event_open-semctl$IPC_INFO-semget$private-socket$nl_xfrm-getsockopt$sock_cred-setuid-socket$nl_xfrm-getsockopt$sock_cred-setuid-setuid-semctl$IPC_SET-semctl$SEM_STAT_ANY-semget-semget-recvmsg$unix-chown-semtimedop
1753	unshare-semget$private-semtimedop-perf_event_open
1682	semget$private-perf_event_open-semtimedop
1670	unshare-semget$private-semtimedop
662	perf_event_open-unshare-semget$private-semtimedop-semctl$IPC_RMID
549	unshare-semget$private-semctl$SETALL-semtimedop
547	unshare-semget$private-semctl$SETALL-semtimedop
502	semget$private-perf_event_open-semtimedop
499	semget$private-clock_gettime-semtimedop-semctl$IPC_RMID
356	unshare-semget$private-semtimedop
320	semget$private-semtimedop-semtimedop
314	semget$private-semctl$SEM_STAT-semctl$GETALL-semctl$SEM_STAT-clock_gettime-semtimedop-semctl$IPC_RMID
307	semget$private-semctl$SETALL-semtimedop-semctl$SETALL
299	semget$private-semtimedop-semget$private-semtimedop-semget$private-semtimedop
293	semget$private-semtimedop-semtimedop
258	semget$private-semtimedop-semtimedop
257	semget$private-semtimedop-semtimedop
254	semget$private-semtimedop
195	semget$private-semtimedop
181	prctl$PR_SET_SYSCALL_USER_DISPATCH_ON-semget$private-semtimedop
172	semget$private-semtimedop
149	semget$private-semtimedop-semtimedop
100	semtimedop
97	semtimedop
26	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semtimedop
25	semtimedop