Decision #438 — lib.rs:5800
Status: no_witness
Truth table
| row | c0 br 3079 | c1 br 3084 | outcome |
|---|---|---|---|
| 527 | T | F | F |
| 528 | T | F | F |
| 529 | T | F | F |
| 530 | T | F | F |
| 4321 | T | F | F |
| 4322 | T | F | F |
| 4323 | T | F | F |
| 4324 | T | F | F |
| 8051 | T | F | F |
| 8052 | T | F | F |
| 8053 | T | F | F |
| 8054 | T | F | F |
| 47749 | T | F | F |
| 51918 | T | F | F |
| 56456 | T | F | F |
| 60673 | T | F | F |
| 95971 | T | F | F |
| 105560 | T | F | F |
| 105561 | T | F | F |
| 111377 | T | F | F |
Independent-effect pairs
c0(branch3079): GAP view gap →scry_analyze_core::compute_stack_usage· br_ifc1(branch3084): GAP view gap →scry_analyze_core::compute_stack_usage· br_if