ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
sockaddr_in6 Struct Reference

#include <in.h>

Public Attributes

sa_family_t sin6_family
in_port_t sin6_port
uint32_t sin6_flowinfo
struct in6_addr sin6_addr
uint32_t sin6_scope_id

Member Data Documentation

◆ sin6_addr

struct in6_addr sockaddr_in6::sin6_addr

◆ sin6_family

sa_family_t sockaddr_in6::sin6_family

◆ sin6_flowinfo

uint32_t sockaddr_in6::sin6_flowinfo

◆ sin6_port

in_port_t sockaddr_in6::sin6_port

◆ sin6_scope_id

uint32_t sockaddr_in6::sin6_scope_id

The documentation for this struct was generated from the following file:
  • src/c2goto/headers/netinet/in.h