Decision #483 — lib.rs:3030

Status: no_witness

Truth table

rowc0 br 3442c1 br 3443c2 br 3448c3 br 3449c4 br 3450c5 br 3451outcome
14716TF***FT
14717TF***FT
14718TFFFFFT
14719**TFTFT
14720*****FT
99718TFFFTFT
99719**TFTFT
99720**TFTFT
108207TFFT*FT
108208**TT*FT
108209**TT*FT
379681TFFFTFT
382565TFFT*FT

Independent-effect pairs

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