concurrency_instrumentationt::thread_local_vart Class Reference
Collaboration diagram for concurrency_instrumentationt::thread_local_vart:Public Attributes | |
| typet | type |
| optionalt< symbol_exprt > | array_symbol |
Detailed Description
Definition at line 65 of file concurrency.cpp.
Member Data Documentation
◆ array_symbol
| optionalt<symbol_exprt> concurrency_instrumentationt::thread_local_vart::array_symbol |
Definition at line 69 of file concurrency.cpp.
◆ type
| typet concurrency_instrumentationt::thread_local_vart::type |
Definition at line 68 of file concurrency.cpp.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/concurrency.cpp
