cprover
|
Public Attributes | |
typet | type |
symbol_exprt | array_symbol |
symbol_exprt | w_index_symbol |
Definition at line 58 of file concurrency.cpp.
symbol_exprt concurrency_instrumentationt::shared_vart::array_symbol |
Definition at line 62 of file concurrency.cpp.
typet concurrency_instrumentationt::shared_vart::type |
Definition at line 61 of file concurrency.cpp.
Referenced by concurrency_instrumentationt::collect().
symbol_exprt concurrency_instrumentationt::shared_vart::w_index_symbol |
Definition at line 62 of file concurrency.cpp.