Corpus for getsockopt$inet6_tcp_int:

Coverage	Program
221	socket$inet6_tcp-getsockopt$inet6_tcp_int
142	socket$inet6_tcp-setsockopt$inet6_tcp_int-getsockopt$inet6_tcp_int
142	socketpair$unix-socket$inet6_tcp-setsockopt$inet6_tcp_int-dup3-getsockopt$inet6_tcp_int
137	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-getsockopt$inet6_tcp_int
135	socket$inet6_tcp-getsockopt$inet6_tcp_int
126	socket$inet6_tcp-getsockopt$inet6_tcp_int
106	socket$inet6_tcp-setsockopt$inet6_tcp_TCP_REPAIR-getsockopt$inet6_tcp_int
105	socket$inet6_tcp-getsockopt$inet6_tcp_int
104	socket$inet6_tcp-getsockopt$inet6_tcp_int
104	socket$inet6_tcp-getsockopt$inet6_tcp_int
103	socket$inet6_tcp-getsockopt$inet6_tcp_int
103	socket$inet6_tcp-getsockopt$inet6_tcp_int
103	socket$inet6_tcp-getsockopt$inet6_tcp_int
102	newfstatat-setresuid-socket$inet6_tcp-getsockopt$inet6_tcp_int
101	socket$inet6_tcp-getsockopt$inet6_tcp_int
101	socket$inet6_tcp-getsockopt$inet6_tcp_int
101	socket$inet6_tcp-getsockopt$inet6_tcp_int