Corpus for semtimedop:

Coverage	Program
4659	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-clock_gettime-semtimedop-semget$private-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semctl$IPC_RMID-semget$private-semop-semctl$IPC_RMID-unshare
4587	unshare-semget$private-semtimedop-semtimedop-unshare
4521	semget$private-semget$private-semop-perf_event_open-semtimedop-semop-semget$private-getresgid-semget-stat-semctl$IPC_SET-semtimedop-semctl$IPC_RMID-semctl$IPC_RMID-semtimedop-semctl$SEM_STAT_ANY-semop-semctl$SEM_INFO-unshare
403	perf_event_open-semget$private-semtimedop-semtimedop-semtimedop-semctl$SEM_STAT_ANY-semget$private-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY
402	perf_event_open-syz_open_dev$sg-perf_event_open-semget$private-semop-semtimedop
389	seccomp$SECCOMP_SET_MODE_FILTER_LISTENER-semget$private-semtimedop
382	semtimedop-semtimedop
355	semget$private-semtimedop-semtimedop
340	perf_event_open-semtimedop
328	semtimedop
305	semget$private-semtimedop-semtimedop
294	semget$private-semtimedop-clock_gettime-semtimedop-semtimedop
293	semget$private-semtimedop-semtimedop
292	semget$private-semtimedop-semtimedop
266	semget$private-semget$private-semtimedop-semtimedop-semtimedop
258	perf_event_open-semget$private-semctl$SEM_STAT_ANY-semtimedop-semtimedop
255	semget$private-semop-semtimedop
253	semtimedop
247	semtimedop-semget$private-clock_gettime-semtimedop-semtimedop
243	semget$private-semtimedop-semtimedop-semtimedop
95	semtimedop
57	semtimedop
50	semtimedop
37	semtimedop