Skip to content

Support ./x.py run miri #76666

Closed
Closed
@RalfJung

Description

@RalfJung

It would be great to have a way to run the in-tree Miri on a given file (similar to ./miri run in the Miri repo). That should even work with the stage 0 Miri, given that Miri's test suite also passes for stage 0.

However, I am not sure what the best x.py interface for this would look like, and how to integrate it. Cc @Mark-Simulacrum

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-miriArea: The miri toolC-feature-requestCategory: A feature request, i.e: not implemented / a PR.T-bootstrapRelevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions