cprover
|
Public Attributes | |
typet | type |
symbol_exprt | array_symbol |
Definition at line 64 of file concurrency.cpp.
symbol_exprt concurrency_instrumentationt::thread_local_vart::array_symbol |
Definition at line 68 of file concurrency.cpp.
typet concurrency_instrumentationt::thread_local_vart::type |
Definition at line 67 of file concurrency.cpp.