Corpus for getsockopt$inet6_int:

Coverage	Program
246	socket$inet6_tcp-getsockopt$inet6_int
245	socket$inet6_icmp_raw-getsockopt$inet6_int
214	socket$inet6_icmp_raw-getsockopt$inet6_int
211	socket$inet6-getsockopt$inet6_int
150	socket$inet6_tcp-getsockopt$inet6_int
140	socket$inet6_tcp-getsockopt$inet6_int
135	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
132	socket$inet6_udp-getsockopt$inet6_int
126	perf_event_open-socket$inet6_icmp_raw-getsockopt$inet6_int
121	socket$inet6_udp-getsockopt$inet6_int
112	getsockopt$inet6_tcp_buf-socket$inet6_tcp-setsockopt$inet6_tcp_int-socket$inet6_tcp-setsockopt$inet6_tcp_int-bind$inet6-connect$inet6-connect$inet6-bind$inet6-connect$inet6-shutdown-connect$inet6-getsockopt$inet6_int
111	socket$inet6_icmp_raw-getsockopt$inet6_int
111	socket$inet6_tcp-getsockopt$inet6_int
111	socket$inet6_tcp-getsockopt$inet6_int
111	socket$inet6_tcp-getsockopt$inet6_int
111	socket$inet6_udp-getsockopt$inet6_int
110	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
110	socket$inet6_udp-getsockopt$inet6_int
108	socket$inet6_tcp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
95	socket$inet6-getsockopt$inet6_int
93	socket$inet6_tcp-getsockopt$inet6_int
86	socket$inet6-getsockopt$inet6_int