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

#include <select.h>

Public Attributes

int fd
short events
short revents

Member Data Documentation

◆ events

short pollfd::events

◆ fd

int pollfd::fd

◆ revents

short pollfd::revents

The documentation for this struct was generated from the following file: