do not run test where it cannot run · model-checking/verify-rust-std@7d20047 (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 7d20047
do not run test where it cannot run
This was seen on Ferrocene, where we have a custom test target that does not have unwind support
File tree
1 file changed
lines changed
1 file changed
lines changed
Lines changed: 1 addition & 0 deletions
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -240,6 +240,7 @@ fn panic_safe() { | ||
240 | 240 | |
241 | 241 | #[test] |
242 | 242 | #[cfg_attr(miri, ignore)] // Miri is too slow |
243 | +#[cfg_attr(not(panic = "unwind"), ignore = "test requires unwinding support")] | |
243 | 244 | fn test_sort() { |
244 | 245 | let mut rng = test_rng(); |
245 | 246 |