cargo miri: add support for '--many-seeds'#3672

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:cargo-many-seeds

Jun 15, 2024

Commits on Jun 13, 2024

cargo miri: add support for '--many-seeds' to run the program / tests many times with different seeds
RalfJung
committed
document --many-seeds; set the default range to 0..64
RalfJung
committed