Decision #268 — lib.rs:6818
Status: full_mcdc
Truth table
| row | c0 br 1393 | c1 br 1394 | outcome |
|---|---|---|---|
| 170 | F | F | F |
| 3964 | F | F | F |
| 7647 | F | F | F |
| 11711 | F | T | T |
| 13087 | F | T | T |
| 14412 | F | T | T |
| 15903 | F | T | T |
| 25383 | F | T | T |
| 34845 | F | T | T |
| 41058 | F | T | T |
| 47233 | T | * | T |
| 47234 | T | * | T |
| 47235 | F | T | T |
| 51361 | T | * | T |
| 51362 | T | * | T |
| 51363 | F | T | T |
| 55899 | T | * | T |
| 55900 | T | * | T |
| 55901 | F | T | T |
| 60157 | T | * | T |
| 60158 | T | * | T |
| 60159 | F | T | T |
| 64318 | F | T | T |
| 75831 | F | T | T |
| 87387 | T | * | T |
| 87388 | F | F | F |
| 91655 | T | * | T |
| 91656 | F | F | F |
| 95786 | T | * | T |
| 95787 | T | * | T |
| 95788 | F | T | T |
| 97794 | F | T | T |
| 99312 | F | T | T |
| 100727 | F | T | T |
| 102296 | F | T | T |
| 104967 | T | * | T |
| 104968 | T | * | T |
| 104969 | F | T | T |
| 108755 | F | T | T |
| 110892 | T | * | T |
| 110893 | F | T | T |
| 114105 | F | T | T |
| 117414 | F | T | T |
| 140350 | F | T | T |
| 163029 | F | T | T |
| 164584 | F | T | T |
| 166306 | F | T | T |
Independent-effect pairs
c0(branch1393): PROVED — pair rows170,47233(masking)<alloc::vec::Vec<core::option::Option<u32>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<u32>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::tarjan_sccs::{closure#0}>>>::from_iter· br_ifc1(branch1394): PROVED — pair rows170,11711(unique-cause)<alloc::vec::Vec<core::option::Option<u32>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<u32>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::tarjan_sccs::{closure#0}>>>::from_iter· br_if