Decision #472 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3101 | c1 br 3102 | outcome |
|---|---|---|---|
| 176424 | F | F | F |
| 176425 | F | F | F |
| 176426 | F | F | F |
| 176427 | F | F | F |
| 207719 | F | F | F |
| 207720 | F | F | F |
| 207721 | F | F | F |
| 207722 | F | F | F |
| 215595 | F | F | F |
| 215596 | F | F | F |
Independent-effect pairs
c0(branch3101): GAP view gap →<scry_analyze_core::FuncCtx>::scrub_to_top· br_ifc1(branch3102): GAP view gap →<scry_analyze_core::FuncCtx>::scrub_to_top· br_if