Corpus for getsockopt$inet6_buf:

Coverage	Program
768	socket$inet6_tcp-getsockopt$inet6_buf
735	socket$inet6_udp-getsockopt$inet6_buf
197	socket$inet6_tcp-getsockopt$inet6_buf
187	socket$inet6_tcp-getsockopt$inet6_buf
157	socket$inet6_udplite-getsockopt$inet6_buf
129	socket$inet6_tcp-getsockopt$inet6_buf
127	socket$inet6_tcp-getsockopt$inet6_buf
121	socket$inet6_udp-getsockopt$inet6_buf
121	socket$inet6_udp-getsockopt$inet6_buf
119	socket$inet6_tcp-getsockopt$inet6_buf
116	socket$inet6_tcp-getsockopt$inet6_buf
113	socket$inet6_tcp-getsockopt$inet6_buf
113	socket$inet6_tcp-getsockopt$inet6_buf
113	socket$inet6_udp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
112	socket$inet6_tcp-getsockopt$inet6_buf
107	socket$inet6_tcp-getsockopt$inet6_buf
107	socket$inet6_tcp-getsockopt$inet6_buf
107	socket$inet6_tcp-getsockopt$inet6_buf
107	socket$inet6_tcp-getsockopt$inet6_buf
97	socket$inet6_tcp-getsockopt$inet6_buf
89	socket$inet6_tcp-getsockopt$inet6_buf