Decision #89 — library/core/src/slice/index.rs:238
Status: partial
Truth table
| row | c0 br 498 | c1 br 506 | c2 br 507 | outcome |
|---|---|---|---|---|
| 190522 | F | * | * | F |
| 190523 | F | * | * | F |
| 190524 | F | * | * | F |
| 190525 | T | * | * | T |
| 190526 | F | F | F | F |
| 190527 | F | * | * | F |
| 190528 | F | * | * | F |
| 190529 | T | * | * | T |
| 190530 | F | * | * | F |
| 190531 | F | * | * | F |
| 194782 | F | * | * | F |
| 194783 | F | * | * | F |
| 194784 | F | * | * | F |
| 194785 | T | * | * | T |
| 194786 | F | F | T | T |
| 194787 | F | * | * | F |
| 194788 | F | * | * | F |
| 194789 | T | * | * | T |
| 194790 | F | * | * | F |
| 194791 | F | * | * | F |
| 194792 | F | * | * | F |
| 194793 | F | * | * | F |
| 194794 | F | * | * | F |
| 194795 | T | * | * | T |
| 194796 | F | * | * | F |
| 194797 | F | F | T | T |
| 194798 | F | * | * | F |
| 194799 | F | * | * | F |
| 194800 | T | * | * | T |
| 194801 | F | * | * | F |
| 194802 | F | * | * | F |
| 194803 | F | * | * | F |
| 194804 | F | * | * | F |
| 194805 | T | * | * | T |
| 194806 | F | * | * | F |
| 194807 | F | F | T | T |
| 194808 | F | * | * | F |
| 194809 | F | * | * | F |
| 194810 | T | * | * | T |
| 194811 | F | * | * | F |
| 202851 | F | F | F | F |
| 202852 | F | * | * | F |
| 202853 | F | * | * | F |
| 202854 | T | * | * | T |
| 202855 | F | * | * | F |
| 202856 | F | * | * | F |
| 206134 | F | * | * | F |
| 206135 | F | * | * | F |
| 206136 | F | * | * | F |
| 206137 | T | * | * | T |
| 206138 | F | F | T | T |
| 206139 | F | * | * | F |
| 206140 | F | F | T | T |
| 206141 | F | * | * | F |
| 206142 | F | * | * | F |
| 206143 | F | * | * | F |
| 206144 | T | * | * | T |
| 206145 | F | F | T | T |
| 206146 | F | * | * | F |
| 206147 | F | * | * | F |
| 206148 | T | * | * | T |
| 206149 | F | * | * | F |
| 206150 | F | * | * | F |
| 206151 | F | * | * | F |
| 206152 | F | * | * | F |
| 206153 | F | * | * | F |
| 206154 | T | * | * | T |
| 206155 | F | F | T | T |
| 206156 | F | * | * | F |
| 206157 | F | F | T | T |
| 206158 | F | * | * | F |
| 206159 | F | * | * | F |
| 206160 | F | * | * | F |
| 206161 | T | * | * | T |
| 206162 | F | * | * | F |
| 206163 | F | F | T | T |
| 206164 | F | * | * | F |
| 206165 | F | * | * | F |
| 206166 | T | * | * | T |
| 206167 | F | * | * | F |
| 214484 | F | * | * | F |
| 214485 | F | * | * | F |
| 214486 | F | * | * | F |
| 214487 | T | * | * | T |
| 214488 | F | * | * | F |
| 214489 | F | * | * | F |
| 214490 | F | * | * | F |
| 214491 | F | * | * | F |
| 214492 | F | * | * | F |
| 214493 | F | * | * | F |
| 214494 | F | * | * | F |
| 214495 | F | * | * | F |
| 214496 | F | * | * | F |
| 214497 | F | * | * | F |
| 214498 | F | F | T | T |
| 214499 | F | * | * | F |
| 214500 | F | * | * | F |
| 214501 | T | * | * | T |
| 214502 | F | * | * | F |
| 214503 | F | * | * | F |
Independent-effect pairs
c0(branch498): PROVED — pair rows190522,190525(masking)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if
inlined: library/alloc/src/vec/mod.rs:3879 ← library/core/src/slice/index.rs:19c1(branch506): GAP view gap →<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_ifc2(branch507): PROVED — pair rows190526,194786(unique-cause)<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>· br_if