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