ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
timeval Struct Reference
#include <
select.h
>
Public Attributes
long
tv_sec
long
tv_usec
Member Data Documentation
◆
tv_sec
long timeval::tv_sec
◆
tv_usec
long timeval::tv_usec
The documentation for this struct was generated from the following file:
src/c2goto/headers/sys/
select.h
timeval
Generated by
1.15.0