ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
time.h File Reference
#include <sys/select.h>
#include <time.h>
Include dependency graph for time.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  timezone

Macros

#define timerclear(tvp)
#define timerisset(tvp)
#define timercmp(a, b, CMP)

Functions

int gettimeofday (struct timeval *tv, struct timezone *tz)
int settimeofday (const struct timeval *tv, const struct timezone *tz)

Macro Definition Documentation

◆ timerclear

#define timerclear ( tvp)
Value:
((tvp)->tv_sec = (tvp)->tv_usec = 0)

◆ timercmp

#define timercmp ( a,
b,
CMP )
Value:
(((a)->tv_sec == (b)->tv_sec) ? ((a)->tv_usec CMP(b)->tv_usec) \
: ((a)->tv_sec CMP(b)->tv_sec))

◆ timerisset

#define timerisset ( tvp)
Value:
((tvp)->tv_sec || (tvp)->tv_usec)

Function Documentation

◆ gettimeofday()

int gettimeofday ( struct timeval * tv,
struct timezone * tz )

◆ settimeofday()

int settimeofday ( const struct timeval * tv,
const struct timezone * tz )