Optimize expensive Miri tests #391
Labels
compatibility-nonbreaking
Changes that are (likely to be) non-breaking
experience-medium
This issue is of medium difficulty, and requires some experience
help wanted
Extra attention is needed
Some tests are either marked
#[cfg_attr(miri, ignore)]
or have parameters set to smaller values undercfg!(miri)
. Even still, they are often expensive when executed, and it would be good to optimize them to save time in CI.EDIT: It looks like this and related Miri optimizations are backwards, doing the expensive thing under Miri rather than the cheap thing:
zerocopy/src/lib.rs
Lines 3389 to 3393 in 524b2e2
The text was updated successfully, but these errors were encountered: