Decision #399 — lib.rs:6797
Status: no_witness
Truth table
| row | c0 br 2779 | c1 br 2780 | outcome |
|---|---|---|---|
| 91623 | T | * | T |
| 91624 | T | * | T |
| 99400 | T | * | T |
| 99401 | T | * | T |
| 107891 | T | * | T |
| 107892 | T | * | T |
| 115967 | T | * | T |
| 115968 | T | * | T |
Independent-effect pairs
c0(branch2779): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2780): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if