-
Notifications
You must be signed in to change notification settings - Fork 467
Add support for many-seeds mode to cargo miri #3546
Copy link
Copy link
Closed
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 enhancementE-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available
Description
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 enhancementE-good-first-issueA good way to start contributing, mentoring is availableA good way to start contributing, mentoring is available
Type
Fields
Give feedbackNo fields configured for issues without a type.
We have
./miri many-seedsfor our own development and testing purposes, but this could also be useful for end-users. I am imagining something likecargo miri --many-seeds=0..256 test ...or so, which would run the test 256 times with different seeds.