Skip to content

Get rid of the test-miri flag in config.toml #61833

Closed
@oli-obk

Description

@oli-obk

The test-miri flag changes whether -Zalways-encode-mir is passed to rustc, causing all metadata beyond stage 0 to include MIR of all functions, even private monomorphic ones. Instead, what we can do is to have miri tests first run cargo miri setup to generate that special libstd in CI in addition to the regular libstd. Then tests can be run with special libstd.

cc @RalfJung

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-miriArea: The miri toolT-dev-toolsRelevant to the dev-tools subteam, which will review and decide on the PR/issue.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions