ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
pthreadtypes.h
Go to the documentation of this file.
1/* Glibc private header, included by
2 * - <sys/types.h>, POSIX standard header, provided by Glibc
3 * - <pthread.h>, POSIX standard header, provided by Glibc
4 * - <signal.h>, POSIX standard header, provided by Glibc
5 *
6 * Just redirect to our <pthread.h>
7 */
8
9#include <pthread.h>