Decision #727 — lib.rs:7303
Status: partial
Truth table
| row | c0 br 4734 | c1 br 4735 | outcome |
|---|---|---|---|
| 31079 | F | * | F |
| 51933 | F | * | F |
| 92603 | T | * | T |
| 92604 | T | * | T |
| 92605 | F | * | F |
| 92606 | T | * | T |
| 92607 | T | * | T |
| 92608 | F | * | F |
| 100434 | T | * | T |
| 100435 | T | * | T |
| 100436 | F | * | F |
| 100437 | T | * | T |
| 100438 | T | * | T |
| 100439 | F | * | F |
| 108923 | T | * | T |
| 108924 | T | * | T |
| 108925 | F | * | F |
| 108926 | T | * | T |
| 108927 | T | * | T |
| 108928 | F | * | F |
| 116947 | T | * | T |
| 116948 | T | * | T |
| 116949 | F | * | F |
| 116950 | T | * | T |
| 116951 | T | * | T |
| 116952 | F | * | F |
| 124819 | F | * | F |
| 141538 | F | * | F |
| 191523 | F | * | F |
| 203581 | F | * | F |
| 216154 | F | * | F |
| 377322 | F | * | F |
| 379979 | F | * | F |
| 382862 | F | * | F |
Independent-effect pairs
c0(branch4734): PROVED — pair rows31079,92603(masking)<[u32]>::contains· br_if
inlined: lib.rs:7302 ← library/core/src/option.rs:1365c1(branch4735): DEAD view gap →<[u32]>::contains· br_if
inlined: lib.rs:7302 ← library/core/src/option.rs:1365