Decision #908 — lib.rs:372
Status: no_witness
Truth table
| row | c0 br 6006 | c1 br 6007 | outcome |
|---|---|---|---|
| 225471 | F | T | T |
| 225472 | T | * | T |
| 225473 | F | T | T |
| 225474 | T | * | T |
| 225475 | F | T | T |
| 225476 | T | * | T |
| 225477 | F | T | T |
| 225478 | T | * | T |
| 225479 | F | T | T |
| 225480 | T | * | T |
| 225481 | F | T | T |
| 225482 | T | * | T |
| 225483 | F | T | T |
| 225484 | T | * | T |
| 225485 | F | T | T |
| 225486 | T | * | T |
| 302848 | F | T | T |
| 302849 | T | * | T |
| 302850 | F | T | T |
| 302851 | T | * | T |
| 302852 | F | T | T |
| 302853 | T | * | T |
| 302854 | F | T | T |
| 302855 | T | * | T |
| 302856 | F | T | T |
| 302857 | T | * | T |
| 302858 | F | T | T |
| 302859 | T | * | T |
| 302860 | F | T | T |
| 302861 | T | * | T |
| 302862 | F | T | T |
| 302863 | T | * | T |
Independent-effect pairs
c0(branch6006): GAP view gap →<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}>>>· br_ifc1(branch6007): GAP view gap →<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}>>>· br_if