ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
fd_set Struct Reference
#include <
select.h
>
Public Attributes
unsigned long
fds_bits
[
FD_SETSIZE
/(8 *sizeof(unsigned long))]
Member Data Documentation
◆
fds_bits
unsigned long fd_set::fds_bits[
FD_SETSIZE
/(8 *sizeof(unsigned long))]
The documentation for this struct was generated from the following file:
src/c2goto/headers/sys/
select.h
fd_set
Generated by
1.15.0