Make I-miscompile imply I-prioritize
Since I-unsound already implies I-prioritize, it makes sense that I-miscompile should do the same.
T
Tim (Theemathas) Chirananthavat committed
f336cc777b84c29776e8cc1b148cf1065b9fae2d
Parent: 1ebbd87
Committed by GitHub <noreply@github.com>
on 8/12/2025, 1:26:11 AM