Decision #515 — lib.rs:7775

Status: partial

Truth table

rowc0 br 3701c1 br 3704c2 br 3705outcome
1041FTFF
1042FTFF
1043FTFF
1044FTFF
1045FTFF
8001FTFF
8002FTFF
8003FTFF
8004FTFF
8005FTFF
14802FTFF
14803FTFF
14804FTFF
14805FTFF
14806FTFF
21661FTFF
24404FTFF
27047FTFF
30617FTFF
51472FTFF
72397FTFF
82280FTFF
91950FTFF
91951FTFF
99779FTFF
99780FTFF
108268FTFF
108269FTFF
116294FTFF
116295FTFF
124354FTFF
141073FTFF
158209FTFF
158210FTFF
158211FTFF
158212FTFF
158213FTFF
158214FTFF
168067FTFF
168068FTFF
168069FTFF
168070FTFF
168071FTFF
168072FTFF
176455FTFF
176456FTFF
176457FTFF
181165FTFF
184484FTFF
187592FTFF
191126FTTT
196408FTFF
196409FTFF
196410FTFF
203253FTTT
207743FTFF
207744FTFF
224077FTFF
301454FTFF
377048FTFF
379705FTFF
382589FTFF

Independent-effect pairs

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