assert_instr: add support for stricter tests - #2212

Open

RalfJung wants to merge 4 commits into

rust-lang:mainfrom

RalfJung:assert_instr_not

Commits on Aug 19, 2026

assert_instr: add support for explicit exclusion of bad instructions
RalfJung
committed
f786221
make assert_instr total instruction limit configurable per-test
RalfJung
committed
373a0de

Commits on Aug 20, 2026

make x86-64 asm more consistent
RalfJung
committed
38a6da0
add the new tests to more intrinsics
RalfJung
committed
814e706