Corpus for semtimedop:

Coverage	Program
4684	semget$private-perf_event_open-semop-semctl$SETALL-clock_gettime-semtimedop-semget$private-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semop-semctl$IPC_RMID-unshare-semget$private-semctl$SETALL
4472	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
1253	perf_event_open-semget$private-syz_open_dev$tty1-ioctl$VT_RESIZE-semtimedop-semctl$SEM_INFO-openat$ptmx
800	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semget$private-semtimedop
401	semget$private-semtimedop-semtimedop
312	perf_event_open-unshare-semget$private-semtimedop
294	semget$private-semtimedop-semtimedop-semop
285	semget$private-semget$private-semtimedop-semtimedop-semtimedop
278	semget$private-semtimedop-semtimedop-semtimedop
269	semtimedop-semctl$GETALL
260	openat-mmap-semget$private-semtimedop
254	semget$private-semtimedop-semctl$IPC_RMID
253	semget$private-semtimedop-semtimedop
248	semget$private-semtimedop-semtimedop
243	semget$private-semtimedop-semtimedop
242	semget$private-semtimedop-semtimedop
201	semtimedop
192	semget$private-semtimedop-semtimedop
142	perf_event_open-unshare-semget$private-semget-semop-semtimedop-semget$private-semctl$IPC_RMID-semtimedop
136	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semget$private-semop-semop-semctl$SETALL-semop-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semctl$SETALL-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semop-unshare-semget$private
125	perf_event_open-semtimedop
119	unshare-semget$private-stat-setreuid-semtimedop
109	openat-mmap-semtimedop
68	perf_event_open-semtimedop
50	semtimedop
37	semtimedop