cprover
concurrency_instrumentationt::thread_local_vart Class Reference
Collaboration diagram for concurrency_instrumentationt::thread_local_vart:
[legend]

Public Attributes

typet type
 
symbol_exprt array_symbol
 

Detailed Description

Definition at line 63 of file concurrency.cpp.

Member Data Documentation

◆ array_symbol

symbol_exprt concurrency_instrumentationt::thread_local_vart::array_symbol

Definition at line 67 of file concurrency.cpp.

◆ type

typet concurrency_instrumentationt::thread_local_vart::type

Definition at line 66 of file concurrency.cpp.

Referenced by concurrency_instrumentationt::collect().


The documentation for this class was generated from the following file: