Decision #580 — library/core/src/slice/cmp.rs:426
Status: no_witness
Truth table
| row | c0 br 3979 | c1 br 3980 | outcome |
|---|---|---|---|
| 1345 | F | T | T |
| 8305 | F | T | T |
| 15106 | F | T | T |
| 21755 | F | T | T |
| 24498 | F | T | T |
| 27141 | F | T | T |
| 30803 | F | T | T |
| 51658 | F | T | T |
| 72584 | F | T | T |
| 82467 | F | T | T |
| 92206 | F | T | T |
| 100035 | F | T | T |
| 108524 | F | T | T |
| 116550 | F | T | T |
| 124543 | F | T | T |
| 141262 | F | T | T |
| 158663 | F | T | T |
| 168521 | F | T | T |
| 176644 | F | T | T |
| 181252 | F | T | T |
| 184571 | F | T | T |
| 187679 | F | T | T |
| 191266 | F | T | T |
| 196832 | F | T | T |
| 203347 | F | T | T |
| 208187 | F | T | T |
| 215838 | F | T | T |
| 224275 | F | T | T |
| 301652 | F | T | T |
| 377124 | F | T | T |
| 379781 | F | T | T |
| 382665 | F | T | T |
Independent-effect pairs
c0(branch3979): GAP view gap →<alloc::vec::Vec<alloc::vec::Vec<usize>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::vec::Vec<usize>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>>::from_iter· br_ifc1(branch3980): GAP view gap →<alloc::vec::Vec<alloc::vec::Vec<usize>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::vec::Vec<usize>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>>::from_iter· br_if