Corpus for getsockopt$inet6_tcp_int:

Coverage	Program
1259	socketpair$unix-socket$inet6_tcp-setsockopt$inet6_tcp_int-dup3-getsockopt$inet6_tcp_int
878	socket$inet6_tcp-getsockopt$inet6_tcp_int
877	socket$inet6_tcp-getsockopt$inet6_tcp_int
168	socket$inet6_tcp-getsockopt$inet6_tcp_int
147	socketpair$unix-socket$inet6_tcp-setsockopt$inet6_tcp_int-dup3-getsockopt$inet6_tcp_int
144	socket$inet6_tcp-setsockopt$inet6_tcp_int-getsockopt$inet6_tcp_int
106	socket$inet6_tcp-getsockopt$inet6_tcp_int
106	socket$inet6_tcp-getsockopt$inet6_tcp_int
105	socket$inet6_tcp-getsockopt$inet6_tcp_int
105	socket$inet6_tcp-getsockopt$inet6_tcp_int
105	socket$inet6_tcp-getsockopt$inet6_tcp_int
105	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-getsockopt$inet6_tcp_int
104	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-getsockopt$inet6_tcp_int
103	socket$inet6_tcp-getsockopt$inet6_tcp_int
103	socket$inet6_tcp-getsockopt$inet6_tcp_int
101	newfstatat-setresuid-socket$inet6_tcp-getsockopt$inet6_tcp_int