Corpus for semctl$GETVAL:
Coverage
Program
671
semctl$GETZCNT-semget-semget-semctl$IPC_STAT-semget-semctl$GETVAL-semget-semget-semctl$GETVAL-semctl$IPC_STAT