src/goto-programs/goto_model.h - `public symbol_table` and `public goto_functions` #8012

Open

Open

src/goto-programs/goto_model.h - public symbol_table and public goto_functions#8012

Labels

Cleanup DEPRECATED fields symbol_table and goto_functions (to be superseded by dedicated accessors) under src/goto-programs/goto_model.h

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

Removed `DEPRECATED` code

Status

Todo

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests