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