Decision #952 — lib.rs:266
Status: no_witness
Truth table
| row | c0 br 6197 | c1 br 6198 | outcome |
|---|---|---|---|
| 73519 | T | * | T |
| 73520 | T | * | T |
| 73521 | T | * | T |
| 73522 | T | * | T |
| 83402 | T | * | T |
| 83403 | T | * | T |
| 83404 | T | * | T |
| 83405 | T | * | T |
| 240101 | F | F | T |
| 240102 | F | F | T |
| 240103 | F | F | T |
| 240104 | F | F | T |
| 240105 | F | F | T |
| 240106 | F | F | T |
| 240107 | F | F | T |
| 240108 | F | F | T |
| 317478 | F | F | T |
| 317479 | F | F | T |
| 317480 | F | F | T |
| 317481 | F | F | T |
| 317482 | F | F | T |
| 317483 | F | F | T |
| 317484 | F | F | T |
| 317485 | F | F | T |
Independent-effect pairs
c0(branch6197): GAP view gap →<alloc::vec::Vec<scry_poly::Constraint> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_poly::Constraint, core::iter::adapters::cloned::Cloned<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, <scry_poly::Poly>::widen::{closure#0}>>>>::from_iter· br_ifc1(branch6198): GAP view gap →<alloc::vec::Vec<scry_poly::Constraint> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_poly::Constraint, core::iter::adapters::cloned::Cloned<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, <scry_poly::Poly>::widen::{closure#0}>>>>::from_iter· br_if