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. |
||
|---|---|---|
| .. | ||
| tests.rs | ||
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. |
||
|---|---|---|
| .. | ||
| tests.rs | ||