goto-analyzer: Use messaget/message_handler for output #2562

Open

Open

goto-analyzer: Use messaget/message_handler for output#2562

See comment in #2464: goto-analyzer should not use streams (let along std::cout directly) for output, and should instead go via messaget or message_handlert.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests