ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
thread-shared-types.h
Go to the documentation of this file.
1/* Glibc private header, included by
2 * - <threads.h>, standard C11 header, provided by Glibc, included by
3 * - <c++/v1/__threading_support>, LLVM libc++ private header, included by
4 * - <c++/v1/mutex>
5 * <c++/v1/atomic>
6 * <c++/v1/semaphore>
7 * <c++/v1/thread>
8 * LLVM libc++ public headers
9 * - <bits/pthreadtypes.h>, provided by Glibc, see there
10 *
11 * Just redirect to our <pthread.h>
12 */
13
14#include <pthread.h>