Corpus for kcmp:
Coverage
Program
1457
fork-kcmp
170
fork-getpid-kcmp
168
rseq-rseq-rseq-rseq-rseq-rseq-fork-getpid-ptrace$getregset-kcmp
137
gettid-getpid-perf_event_open-kcmp
107
rt_sigqueueinfo-getpid-openat$bsg-socket$inet_tcp-getpgrp-kcmp
92
perf_event_open-kcmp-pidfd_getfd-perf_event_open-openat-fallocate-read
91
gettid-gettid-kcmp
89
gettid-gettid-kcmp