- 
                Notifications
    You must be signed in to change notification settings 
- Fork 399
Open
Labels
A-cargoArea: affects the cargo wrapper (cargo miri)Area: affects the cargo wrapper (cargo miri)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement
Description
Running cargo miri test --lib on a crate that has [lib] proc-macro = true in Cargo.toml prints the following and does not run the unit tests:
Running unit tests of `proc-macro` crates is not currently supported by Miri.Unit tests inside proc macro crates are allowed and supported by cargo test --lib.
I found this message originated a year ago from #1675 but I did not find a corresponding issue that I could follow, so here is one.
Metadata
Metadata
Assignees
Labels
A-cargoArea: affects the cargo wrapper (cargo miri)Area: affects the cargo wrapper (cargo miri)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement