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
>
pthread.h
src
c2goto
headers
bits
thread-shared-types.h
Generated by
1.15.0