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