We have ./miri many-seeds for our own development and testing purposes, but this could also be useful for end-users. I am imagining something like cargo miri --many-seeds=0..256 test ... or so, which would run the test 256 times with different seeds.
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.