Decision #280 — lib.rs:1434

Status: no_witness

Truth table

rowc0 br 2254c1 br 2255c2 br 2256outcome
740FF*T
741FF*T
742FTFT
3780FF*T
3781FF*T
3782FTFT
6725FF*T
6726FF*T
6727FTFT

Independent-effect pairs

All 3 conditions live in scry_analyze_core::analyze — 3 br_if