|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <time.h>Go to the source code of this file.
Classes | |
| struct | sem_t |
Functions | |
| int | sem_init (sem_t *__sem, int __pshared, unsigned int __value) |
| int | sem_destroy (sem_t *__sem) |
| sem_t * | sem_open (const char *__name, int __oflag,...) |
| int | sem_close (sem_t *__sem) |
| int | sem_unlink (const char *__name) |
| int | sem_wait (sem_t *__sem) |
| int | sem_trywait (sem_t *__sem) |
| int | sem_post (sem_t *__sem) |
| int | sem_getvalue (sem_t *__restrict __sem, int *__restrict __sval) |
|
extern |