Skip to content

RFM: comparison operands are never judged in v2 infer (below floor, measured) - #13311

Merged
gunbai-bot[bot] merged 2 commits into
mainfrom
session/stern-swift-290-cmp-rfm
Oct 6, 2026
Merged

gunbai-bot[bot] merged 2 commits into
mainfrom
session/stern-swift-290-cmp-rfm

RFM comparison row: subtraction (AlgebraInverseCompose) as a second o…

81037ec
Select commit
Loading
Failed to load commit list.