Decision #622 — src/readers/core/operators.rs:333
Status: no_witness
Truth table
| row | c0 br 4072 | c1 br 4073 | outcome |
|---|---|---|---|
| 35953 | F | T | T |
| 35954 | F | T | T |
| 35955 | F | T | T |
| 35956 | F | T | T |
| 42166 | F | T | T |
| 42167 | F | T | T |
| 42168 | F | T | T |
| 42169 | F | T | T |
| 119040 | F | T | T |
| 119041 | F | T | T |
| 119042 | F | T | T |
| 119043 | F | T | T |
| 119044 | F | T | T |
| 119045 | F | T | T |
| 119046 | F | T | T |
| 119047 | F | T | T |
| 141976 | F | T | T |
| 141977 | F | T | T |
| 141978 | F | T | T |
| 141979 | F | T | T |
| 141980 | F | T | T |
| 141981 | F | T | T |
| 141982 | F | T | T |
| 141983 | F | T | T |
Independent-effect pairs
c0(branch4072): GAP view gap →<alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>>::from_iter· br_ifc1(branch4073): GAP view gap →<alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>>::from_iter· br_if