Decision #35 — lib.rs:3454
Status: no_witness
Truth table
| row | c0 br 229 | c1 br 234 | outcome |
|---|---|---|---|
| 34 | T | * | T |
| 3828 | T | * | T |
| 7511 | T | * | T |
| 11672 | T | * | T |
| 13048 | T | * | T |
| 14373 | T | * | T |
| 15819 | T | * | T |
| 25299 | T | * | T |
| 34749 | T | * | T |
| 40962 | T | * | T |
| 47116 | T | * | T |
| 51244 | T | * | T |
| 55782 | T | * | T |
| 60040 | T | * | T |
| 64226 | T | * | T |
| 75739 | T | * | T |
| 87206 | T | * | T |
| 91474 | T | * | T |
| 95715 | T | * | T |
| 97759 | T | * | T |
| 99277 | T | * | T |
| 100692 | T | * | T |
| 102215 | T | F | T |
| 104718 | T | F | T |
| 104719 | * | F | T |
| 104720 | * | F | T |
| 108695 | T | F | T |
| 110674 | T | F | T |
| 110675 | * | F | T |
| 113988 | T | F | T |
| 117236 | T | * | T |
| 140172 | T | * | T |
| 162998 | T | * | T |
| 164553 | T | * | T |
| 166275 | T | * | T |
Independent-effect pairs
c0(branch229): 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_ifc1(branch234): 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_if