Decision #279 — lib.rs:1422

Status: no_witness

Truth table

rowc0 br 2243c1 br 2244c2 br 2248c3 br 2249c4 br 2250c5 br 2251outcome
737FFF***T
738**F***T
739**F***T
3777FFF***T
3778**F***T
3779**F***T
6722FFF***T
6723**F***T
6724**F***T

Independent-effect pairs

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