Decision #97 — library/alloc/src/collections/btree/node.rs:731
Status: no_witness
Truth table
| row | c0 br 571 | c1 br 572 | c2 br 573 | outcome |
|---|---|---|---|---|
| 222132 | F | F | F | T |
| 222133 | F | F | F | T |
| 222134 | F | F | F | T |
| 222135 | F | F | F | T |
| 299509 | F | F | F | T |
| 299510 | F | F | F | T |
| 299511 | F | F | F | T |
| 299512 | F | F | F | T |
Independent-effect pairs
c0(branch571): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:161c1(branch572): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:161c2(branch573): GAP view gap →<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter· br_if
inlined: library/alloc/src/collections/btree/navigate.rs:161