Is there a way to improve cargo miri test speed?

help
1

Hi, I run cargo +nightly miri test for my project, it helps a lot. The only issue is: it is super slow.

Now I am running cargo +nightly miri test -- --test-threads 32 to run it concurrently, I found this didn't use 100% cpu cores on my laptop, guess CPU is not the bottle neck for cargo miri.

Is there any other way to improve the running speed?

1 Like
2

Miri always runs single threaded. --test-threads 32 will cause libtest to run tests on 32 simulated threads, but those map to a single actual thread. When using the GitHub - nextest-rs/nextest: A next-generation test runner for Rust. test runner, you can use cargo +nightly nextest miri test to spawn a separate miri instance for every test, allowing multiple tests to run in parallel.

3 Likes
3

Thank you a lot!

1 Like