Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cargo --list shows a subcommand miri without actual implementation and description #13229

Closed
yoonghm opened this issue Jan 1, 2024 · 2 comments
Labels
C-bug Category: bug S-triage Status: This issue is waiting on initial triage.

Comments

@yoonghm
Copy link

yoonghm commented Jan 1, 2024

Problem

> cargo --list show the following output:

    logout               Remove an API token from the registry locally
    metadata             Output the resolved dependencies of a package, the concrete used versions including overrides, in machine-readable format
    miri
    new                  Create a new cargo package at <path>
    owner                Manage the owners of a crate on the registry
    package              Assemble the local package into a distributable tarball

What is miri?

Steps

Run cargo --list

Possible Solution(s)

I could not find the word miri inside github-com/rust-lang/cargo

Notes

No response

Version

cargo 1.74.1 (ecb9851af 2023-10-18)
release: 1.74.1
commit-hash: ecb9851afd3095e988daaa35a48bc7f3cb748e04
commit-date: 2023-10-18
host: x86_64-pc-windows-msvc
libgit2: 1.7.1 (sys:0.18.0 vendored)
libcurl: 8.4.0-DEV (sys:0.4.68+curl-8.4.0 vendored ssl:Schannel)
os: Windows 10.0.19045 (Windows 10 Enterprise) [64-bit]
@yoonghm yoonghm added C-bug Category: bug S-triage Status: This issue is waiting on initial triage. labels Jan 1, 2024
@weihanglo
Copy link
Member

miri is a tool helping detect undefined behavior of your binaries. See https://github.com/rust-lang/miri. It is not shipped by default via rustup but a third party custom subcommands, so no description provided.

For displaying descriptions for custom subcommands, it is tracked here #10662.

@yoonghm
Copy link
Author

yoonghm commented Jan 1, 2024

Thanks

@yoonghm yoonghm closed this as completed Jan 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C-bug Category: bug S-triage Status: This issue is waiting on initial triage.
Projects
None yet
Development

No branches or pull requests

2 participants