1.23
2.0
main
test-branch
| Rev | Line | |
|---|
| [b0dfafb] | 1 | /*
|
|---|
| 2 | All specification references correspond to pages in the Standard for Information Technology
|
|---|
| 3 | Portable Operating System Interface (POSIX)IEEE Computer Society Base Specifications, Issue 7.
|
|---|
| 4 |
|
|---|
| 5 | Standard modifications to each translation:
|
|---|
| 6 | header files are altered
|
|---|
| 7 | errors are changed to assertion violations with appropriate messages
|
|---|
| 8 | appropriate definitions are changed to input variables
|
|---|
| 9 | */
|
|---|
| 10 |
|
|---|
| [8a9124e] | 11 | #ifdef __PTHREAD__
|
|---|
| 12 | #else
|
|---|
| 13 | #define __PTHREAD__
|
|---|
| 14 |
|
|---|
| [e6b02c8] | 15 | #include <civlc.cvh>
|
|---|
| [cc2ff44] | 16 | #include <concurrency.cvh>
|
|---|
| [23c8bc3] | 17 | #include <seq.cvh>
|
|---|
| [b0dfafb] | 18 | #include <stdio.h>
|
|---|
| 19 | #include <stdlib.h>
|
|---|
| 20 | #include <assert.h>
|
|---|
| 21 | #include <stdbool.h>
|
|---|
| [23c8bc3] | 22 | #include <pthread-types.cvl>
|
|---|
| 23 | #include <pthread-functions.cvl>
|
|---|
| 24 | #include <svcomp.cvl>
|
|---|
| [b0dfafb] | 25 |
|
|---|
| [903c81e] | 26 | int pthread_exit(void *value_ptr);
|
|---|
| 27 |
|
|---|
| [a6d5539] | 28 | void __VERIFIER_assume(void *p);
|
|---|
| 29 |
|
|---|
| 30 | void __VERIFIER_assert(_Bool value);
|
|---|
| 31 |
|
|---|
| [903c81e] | 32 |
|
|---|
| [8a9124e] | 33 | #endif
|
|---|
Note:
See
TracBrowser
for help on using the repository browser.
