Decision #57 — library/core/src/option.rs:2845
Status: no_witness
Truth table
| row | c0 br 438 | c1 br 439 | c2 br 440 | c3 br 447 | c4 br 448 | c5 br 451 | c6 br 468 | outcome |
|---|---|---|---|---|---|---|---|---|
| 9478 | * | * | * | * | * | * | F | T |
| 10626 | * | * | * | * | * | * | F | T |
| 11717 | * | * | * | * | * | * | F | T |
| 40285 | F | F | F | F | F | F | * | T |
| 43253 | F | F | F | F | F | F | * | T |
| 46706 | F | F | F | F | F | F | * | T |
| 49825 | F | F | F | F | F | F | * | T |
| 72379 | F | F | F | F | T | F | * | T |
| 72380 | F | F | F | F | T | F | F | T |
| 72381 | * | * | * | * | * | * | F | T |
| 75854 | F | F | F | F | T | F | * | T |
| 75855 | F | F | F | F | T | F | F | T |
| 75856 | * | * | * | * | * | * | F | T |
Independent-effect pairs
c0(branch438): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2076c1(branch439): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2076c2(branch440): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2076c3(branch447): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2075c4(branch448): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2075c5(branch451): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2076c6(branch468): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2049 ← lib.rs:2092