Decision #291 — library/core/src/option.rs:2842
Status: no_witness
Truth table
| row | c0 br 1576 | c1 br 1690 | c2 br 1706 | c3 br 1707 | c4 br 1710 | c5 br 1717 | c6 br 1729 | outcome |
|---|---|---|---|---|---|---|---|---|
| 11732 | * | F | * | F | * | * | * | T |
| 13108 | * | F | * | F | * | * | * | T |
| 14433 | * | F | * | F | * | * | * | T |
| 16068 | F | * | * | * | * | * | * | T |
| 25548 | F | * | * | * | * | * | * | T |
| 34914 | F | * | * | * | * | * | * | T |
| 41127 | F | * | * | * | * | * | * | T |
| 47319 | * | F | * | T | F | F | T | T |
| 51447 | * | F | * | T | F | F | T | T |
| 55985 | * | F | * | T | F | F | T | T |
| 60243 | * | F | * | T | F | F | T | T |
| 64494 | F | * | * | * | * | * | * | T |
| 76007 | F | * | * | * | * | * | * | T |
| 87465 | * | F | * | F | * | * | * | T |
| 87466 | * | F | * | F | * | F | F | T |
| 87467 | * | * | * | * | * | F | F | T |
| 91733 | * | F | * | F | * | * | * | T |
| 91734 | * | F | * | F | * | F | F | T |
| 91735 | * | * | * | * | * | F | F | T |
| 97810 | * | F | * | F | * | * | * | T |
| 99328 | * | F | * | F | * | * | * | T |
| 100743 | * | F | * | F | * | * | * | T |
| 117515 | F | * | * | * | * | * | * | T |
| 117516 | F | * | * | * | * | * | * | T |
| 140451 | F | * | * | * | * | * | * | T |
| 140452 | F | * | * | * | * | * | * | T |
| 163060 | * | F | * | T | F | * | * | T |
| 164615 | * | F | * | T | F | * | * | T |
| 166337 | * | F | * | T | F | * | * | T |
Independent-effect pairs
c0(branch1576): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3166c1(branch1690): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3166c2(branch1706): DEAD view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3165c3(branch1707): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3165c4(branch1710): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3166c5(branch1717): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3166c6(branch1729): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:3166