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