Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This makes `cargo +nightly miri test` run in a more reasonable length of time (<10 minutes on my machine). Before, testing with miri took >30 minutes to complete. (I'm not sure how long it would have ultimately taken; I killed the test at that point.)
- Loading branch information