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

#include <time.h>

Public Attributes

int tm_sec
int tm_min
int tm_hour
int tm_mday
int tm_mon
int tm_year
int tm_wday
int tm_yday
int tm_isdst
long tm_gmtoff
const char * tm_zone

Member Data Documentation

◆ tm_gmtoff

long tm::tm_gmtoff

◆ tm_hour

int tm::tm_hour

◆ tm_isdst

int tm::tm_isdst

◆ tm_mday

int tm::tm_mday

◆ tm_min

int tm::tm_min

◆ tm_mon

int tm::tm_mon

◆ tm_sec

int tm::tm_sec

◆ tm_wday

int tm::tm_wday

◆ tm_yday

int tm::tm_yday

◆ tm_year

int tm::tm_year

◆ tm_zone

const char* tm::tm_zone
The documentation for this struct was generated from the following file: