Skip to content

Start/stop verbose tracing dynamically #3353

Open
@RalfJung

Description

@RalfJung

MIRI_LOG=info can be used to get a verbose trace, but it is very verbose. It would be nice to be able to only log some part of the execution. Tracing seems to have a "reload" system for that that seems like it might make this functionality possible: tokio-rs/tracing#2900.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-diagnosticserrors and warnings emitted by miriC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions