cprover
|
Public Attributes | |
typet | type |
symbol_exprt | array_symbol |
Definition at line 65 of file concurrency.cpp.
symbol_exprt concurrency_instrumentationt::thread_local_vart::array_symbol |
Definition at line 69 of file concurrency.cpp.
typet concurrency_instrumentationt::thread_local_vart::type |
Definition at line 68 of file concurrency.cpp.
Referenced by concurrency_instrumentationt::collect().