From b681bb5e1a9919bb295c26578fb3559dfbcf287d Mon Sep 17 00:00:00 2001 From: Claude Date: Fri, 6 Nov 2026 00:06:06 +0000 Subject: [PATCH] test(miri): skip u9_head_to_head's flush-bound run under miri Follow-up to #410. A local miri run of the three integration files after #410 showed u9_head_to_head still over 40 minutes: worst_case_runs_cross_the_flush_bounds_exactly runs 3 * B_FLUSH_BLOCKS + 5 all-255 blocks, the same shape as the flush-bound runs #410 already skips under miri (its name did not match the earlier search). It would also hit the new 20-minute per-test limit on CI. It now carries the same #[cfg_attr(miri, ignore = "...")]; the native test jobs still run it. Under miri: u9_head_to_head 3 passed, 2 ignored, 10 s wall (was > 2400 s); pof_antennas 42 passed, 1 ignored, 865 s; u9_abacus 11 passed, 9 ignored, 232 s (wall times include compiling). A sweep of tests/, src/ and examples/ for `*_FLUSH_BLOCKS` runs finds no other unskipped one. Native: u9_head_to_head 5 passed. Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01XAqKMQJzQD5KvNm8BtbsWG --- tests/u9_head_to_head.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/tests/u9_head_to_head.rs b/tests/u9_head_to_head.rs index 539c117f..d03b2115 100644 --- a/tests/u9_head_to_head.rs +++ b/tests/u9_head_to_head.rs @@ -126,6 +126,10 @@ fn full_blocks_match_the_oracle() { /// Worst-case magnitudes past both flush intervals, all one sign and mixed: /// nothing wraps, rounds or saturates. #[test] +#[cfg_attr( + miri, + ignore = "tens of thousands of all-255 blocks past the flush bound take hours under miri; the native test jobs run it" +)] fn worst_case_runs_cross_the_flush_bounds_exactly() { let n = 3 * B_FLUSH_BLOCKS + 5; assert!(n > 4 * A_FLUSH_BLOCKS);