Closed jswrenn closed 3 months ago
Looks like this issue is tracked by https://github.com/nextest-rs/nextest/issues/16. I'm using nextest because it, unlike miri's default test runner, runs tests in parallel. The speedup is significant.
Until nextest gets doctest support, we'll just run the doc tests separately.
This PR additionally reduces the size of some heavy tests to reduce their running time. I don't think these reductions will hinder their bug-detecting power too much.