Decision #603 — lib.rs:8232
Status: no_witness
Truth table
| row | c0 br 4110 | c1 br 4114 | c2 br 4115 | c3 br 4116 | outcome |
|---|---|---|---|---|---|
| 30823 | F | * | * | * | T |
| 30824 | F | * | * | * | T |
| 51678 | F | * | * | * | T |
| 51679 | F | * | * | * | T |
| 72603 | F | * | * | * | T |
| 82486 | F | * | * | * | T |
| 124563 | F | * | * | * | T |
| 124564 | F | * | * | * | T |
| 141282 | F | * | * | * | T |
| 141283 | F | * | * | * | T |
| 224296 | F | * | * | * | T |
| 224297 | F | * | * | * | T |
| 301673 | F | * | * | * | T |
| 301674 | F | * | * | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::compute_handle_findings — 4 br_if
c0(branch4110): GAP view gap →c1(branch4114): DEAD view gap →c2(branch4115): DEAD view gap →c3(branch4116): DEAD view gap →