Revert panic_safe test changes · model-checking/verify-rust-std@384c205 (original) (raw)
Navigation Menu
- GitHub Copilot Write better code with AI
- GitHub Models New Manage and compare prompts
- GitHub Advanced Security Find and fix vulnerabilities
- Actions Automate any workflow
- Codespaces Instant dev environments
- Issues Plan and track work
- Code Review Manage code changes
- Discussions Collaborate outside of code
- Code Search Find more, search less
- Explore
- Pricing
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Appearance settings
Commit 384c205
Revert panic_safe test changes
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.
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 2 additions & 1 deletion
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -197,7 +197,8 @@ fn panic_safe() { | ||
| 197 | 197 | |
| 198 | 198 | let mut rng = test_rng(); |
| 199 | 199 | |
| 200 | -let lens = if cfg!(miri) { (1..10).chain(30..36) } else { (1..20).chain(70..MAX_LEN) }; | |
| 200 | +// Miri is too slow (but still need to `chain` to make the types match) | |
| 201 | +let lens = if cfg!(miri) { (1..10).chain(0..0) } else { (1..20).chain(70..MAX_LEN) }; | |
| 201 | 202 | let moduli: &[u32] = if cfg!(miri) { &[5] } else { &[5, 20, 50] }; |
| 202 | 203 | |
| 203 | 204 | for len in lens { |