Skip to content

Fine-grained event tracing does not work any more #4752

@RalfJung

Description

@RalfJung

rust-lang/rust#147613 caused a regression in our tracing system: the usual log filters now also get applied to the tracing events, meaning they are all filtered out and never make it into the JSON trace. See this and the following discussion for more details.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-devArea: working on Miri as a developerC-bugCategory: This is a bug.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions