Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The changes made only a limited improvement for the current small miri coverage and in general test coverage of the sort implementations. But they exploded test times from ~13s to ~240s, which is not deemed worth it.
- Loading branch information