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

#include <time.h>

Public Attributes

time_t tv_sec
long tv_nsec

Member Data Documentation

◆ tv_nsec

long timespec::tv_nsec

◆ tv_sec

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