Corpus for getsockopt$inet6_int:

Coverage	Program
606	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
232	socket$inet6_tcp-getsockopt$inet6_int
204	socket$inet6_icmp_raw-getsockopt$inet6_int
201	socket$inet6_icmp_raw-getsockopt$inet6_int
196	perf_event_open-socket$inet6_udp-getsockopt$inet6_int
180	perf_event_open-socket$inet6_tcp-getsockopt$inet6_int
172	perf_event_open-socket$inet6_udplite-newfstatat-connect$inet6-getsockopt$inet6_int
167	perf_event_open-socket$inet6_udp-getsockopt$inet6_int
155	perf_event_open-socket$inet6_tcp-getsockopt$inet6_int
151	socket$inet6_udplite-setsockopt$inet6_int-getsockopt$inet6_int
134	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
121	socket$inet6_icmp_raw-getsockopt$inet6_int
116	perf_event_open-socket$inet6_icmp_raw-getsockopt$inet6_int
113	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-connect$inet6-getsockopt$inet6_int
113	socket$inet6_udp-getsockopt$inet6_int
110	socket$inet6-getsockopt$inet6_int
110	socket$inet6_icmp_raw-getsockopt$inet6_int
110	socket$inet6_udp-getsockopt$inet6_int
110	socket$inet6_udp-getsockopt$inet6_int
110	socket$inet6_udplite-connect$inet6-getsockopt$inet6_int
110	socket$inet6_udplite-getsockopt$inet6_int
110	socket$inet6_udplite-getsockopt$inet6_int
107	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6_udp-getsockopt$inet6_int
106	socket$inet6_tcp-getsockopt$inet6_int
106	socket$inet6_tcp-getsockopt$inet6_int
99	socket$inet6_tcp-perf_event_open-getsockopt$inet6_int
93	socket$inet6_udplite-getsockopt$inet6_int
92	socket$inet6_udp-getsockopt$inet6_int
90	socket$inet6_icmp_raw-getsockopt$inet6_int