|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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) |
| #define timerclear | ( | tvp | ) |
| #define timercmp | ( | a, | |
| b, | |||
| CMP ) |
| #define timerisset | ( | tvp | ) |