Decision #440 — lib.rs:5815
Status: no_witness
Truth table
| row | c0 br 3093 | c1 br 3094 | outcome |
|---|---|---|---|
| 536 | * | T | T |
| 4330 | * | T | T |
| 8060 | * | T | T |
| 11866 | * | T | T |
| 13242 | * | T | T |
| 14567 | * | T | T |
| 16418 | * | T | T |
| 25898 | * | T | T |
| 35527 | * | T | T |
| 41740 | * | T | T |
| 47752 | F | T | T |
| 51921 | F | T | T |
| 56459 | F | T | T |
| 60676 | F | T | T |
| 65014 | * | T | T |
| 76527 | * | T | T |
| 88024 | * | T | T |
| 92292 | * | T | T |
| 95975 | * | T | T |
| 97931 | * | T | T |
| 99448 | * | T | T |
| 100864 | * | T | T |
| 102535 | * | T | T |
| 105565 | * | T | T |
| 108914 | * | T | T |
| 111380 | * | T | T |
| 114401 | F | T | T |
| 118470 | * | T | T |
| 141406 | * | T | T |
| 163166 | * | T | T |
| 164737 | * | T | T |
| 166459 | * | T | T |
Independent-effect pairs
c0(branch3093): GAP view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3094): GAP view gap →scry_analyze_core::compute_stack_usage· br_if