Corpus for getsockopt$inet6_int:

Coverage	Program
742	socket$inet6_udp-getsockopt$inet6_int
235	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
225	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
163	perf_event_open-socket$inet6_udp-socket$inet6_udp-connect$inet6-dup2-getsockopt$inet6_int
143	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
141	socket$inet6_udp-getsockopt$inet6_int
129	socket$inet6-getsockopt$inet6_int
121	socket$inet6_udplite-getsockopt$inet6_int
115	socket$inet6-getsockopt$inet6_int
115	socket$inet6_udp-connect$inet6-getsockopt$inet6_int
114	socket$inet6-getsockopt$inet6_int
114	socket$inet6_icmp_raw-getsockopt$inet6_int
113	socket$inet6_udp-getsockopt$inet6_int
113	socket$inet6_udp-getsockopt$inet6_int
108	socket$inet6_udp-getsockopt$inet6_int
107	socket$inet6-getsockopt$inet6_int
99	socket$inet6_tcp-getsockopt$inet6_int