Corpus for semctl$SETALL:

Coverage	Program
1695	unshare-semget$private-semctl$SETALL
553	unshare-semget$private-semctl$SETALL
435	semctl$SETALL
249	semget$private-perf_event_open-semop-semget$private-semctl$IPC_RMID-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semget-semtimedop-semctl$IPC_RMID-semget$private-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-ioctl$FS_IOC_GETFSMAP-semctl$IPC_RMID-unshare-semctl$IPC_RMID
242	semctl$SETALL
229	semctl$SETALL
228	semget$private-perf_event_open-semctl$IPC_RMID-semget$private-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-poll-semtimedop-semget-semctl$SETALL-semget$private-semctl$IPC_RMID-semctl$IPC_SET-unshare
226	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-semop-semctl$IPC_RMID-semctl$SEM_STAT_ANY-semctl$SEM_STAT_ANY-unshare
225	semget$private-perf_event_open-semop-semget$private-semctl$SETALL-semctl$SEM_STAT_ANY-clock_gettime-semtimedop-semtimedop-semtimedop-semctl$IPC_RMID-semop-semctl$IPC_RMID-unshare
201	semget$private-semctl$SETALL
194	semget$private-semctl$SETALL
193	unshare-semget$private-semctl$SETALL
177	semget$private-semctl$SETALL
154	semctl$SETALL
103	perf_event_open-semctl$IPC_RMID-semctl$SETALL