Skip to content

Generate coverage reports of source code evaluated by miri? #4430

Open
@anp

Description

@anp

I'm setting up CI with coverage and miri for the first time in a while and thought it would be nice to measure how much of the non-#[cfg(miri)] code is covered when run under miri.

I see several previous discussions in this repository about measuring the coverage of miri itself, but I can't find any previous discussions or documentation about generating coverage reports for the code under test. Is that already possible, and if not is it something that has been discussed previously?

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-interpreterArea: affects the core interpreterC-proposalCategory: a proposal for something we might want to do, or maybe not; details still being worked out

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions