Decision #909 — library/alloc/src/raw_vec/mod.rs:564
Status: no_witness
Truth table
| row | c0 br 6001 | c1 br 6004 | c2 br 6005 | outcome |
|---|---|---|---|---|
| 225487 | T | T | F | T |
| 225488 | T | T | F | T |
| 225489 | T | T | F | T |
| 225490 | T | T | F | T |
| 225491 | T | T | F | T |
| 225492 | T | T | F | T |
| 225493 | T | T | F | T |
| 225494 | T | T | F | T |
| 302864 | T | T | F | T |
| 302865 | T | T | F | T |
| 302866 | T | T | F | T |
| 302867 | T | T | F | T |
| 302868 | T | T | F | T |
| 302869 | T | T | F | T |
| 302870 | T | T | F | T |
| 302871 | T | T | F | T |
Independent-effect pairs
All 3 conditions live in <alloc::vec::Vec<scry_poly::Constraint>>::extend_desugared::<core::iter::adapters::cloned::Cloned<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, <scry_poly::Poly>::widen::{closure#0}>>> — 3 br_if
c0(branch6001): GAP view gap →c1(branch6004): GAP view gap →c2(branch6005): GAP view gap →