Skip to content

fix(#973): ARM select on an i64-comparison returns the then-arm — and an ARM leg for the corpus CI never compiled - #992

Merged
avrabe merged 7 commits into
mainfrom
fix/arm-select-i64cmp-973
Aug 18, 2026
Merged

fix(#973): ARM select on an i64-comparison returns the then-arm — and an ARM leg for the corpus CI never compiled#992
avrabe merged 7 commits into
mainfrom
fix/arm-select-i64cmp-973

test(#973): close two small vacuity holes in the new oracles

618bf85
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Aug 18, 2026 in 0s

86.66% of diff hit (target 87.59%)

View this Pull Request on Codecov

86.66% of diff hit (target 87.59%)

View more details on Codecov