Decision #77 — library/core/src/option.rs:2278
Status: no_witness
Truth table
| row | c0 br 425 | c1 br 426 | outcome |
|---|---|---|---|
| 60 | T | * | T |
| 7020 | T | * | T |
| 13758 | T | * | T |
| 21191 | T | * | T |
| 23934 | T | * | T |
| 26577 | T | * | T |
| 29416 | T | * | T |
| 50271 | T | * | T |
| 70967 | T | * | T |
| 80850 | T | * | T |
| 90705 | T | * | T |
| 98479 | T | * | T |
| 106973 | T | * | T |
| 115049 | T | * | T |
| 122889 | T | * | T |
| 139608 | T | * | T |
| 156297 | T | * | T |
| 166155 | T | * | T |
| 175945 | T | * | T |
| 180747 | T | * | T |
| 184067 | T | * | T |
| 187174 | T | * | T |
| 190508 | T | * | T |
| 194742 | T | * | T |
| 202842 | T | * | T |
| 206087 | T | * | T |
| 214459 | T | * | T |
| 222036 | T | * | T |
| 299413 | T | * | T |
| 376704 | T | * | T |
| 379341 | T | * | T |
| 382225 | T | * | T |
Independent-effect pairs
c0(branch425): GAP view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_ifc1(branch426): DEAD view gap →<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>· br_if