Decision #54 — library/alloc/src/vec/mod.rs:2817
Status: no_witness
Truth table
| row | c0 br 303 | c1 br 421 | c2 br 436 | c3 br 437 | c4 br 457 | c5 br 464 | c6 br 465 | outcome |
|---|---|---|---|---|---|---|---|---|
| 9476 | * | F | * | * | F | F | T | T |
| 10624 | * | F | * | * | F | F | T | T |
| 11715 | * | F | * | * | F | F | T | T |
| 13142 | F | * | * | * | * | * | * | T |
| 20860 | F | * | * | * | * | * | * | T |
| 28383 | F | * | * | * | * | * | * | T |
| 34321 | F | * | * | * | * | * | * | T |
| 40283 | * | F | F | F | * | * | * | T |
| 43251 | * | F | F | F | * | * | * | T |
| 46704 | * | F | F | F | * | * | * | T |
| 49823 | * | F | F | F | * | * | * | T |
| 52920 | F | * | * | * | * | * | * | T |
| 62692 | F | * | * | * | * | * | * | T |
| 72373 | * | F | * | * | * | * | * | T |
| 72374 | * | F | F | F | * | * | * | T |
| 72375 | * | * | F | F | F | F | T | T |
| 72376 | * | * | * | * | F | F | T | T |
| 75848 | * | F | * | * | * | * | * | T |
| 75849 | * | F | F | F | * | * | * | T |
| 75850 | * | * | F | F | F | F | T | T |
| 75851 | * | * | * | * | F | F | T | T |
| 80704 | * | F | * | * | * | * | * | T |
| 81891 | * | F | * | * | * | * | * | T |
| 82953 | * | F | * | * | * | * | * | T |
| 92402 | T | * | * | * | * | * | * | T |
| 92403 | F | * | * | * | * | * | * | T |
| 111265 | T | * | * | * | * | * | * | T |
| 111266 | F | * | * | * | * | * | * | T |
| 129944 | * | F | * | * | * | * | * | T |
| 131103 | * | F | * | * | * | * | * | T |
| 132430 | * | F | * | * | * | * | * | T |
Independent-effect pairs
c0(branch303): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2075c1(branch421): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc2(branch436): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2075c3(branch437): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc4(branch457): GAP view gap →scry_analyze_core::compute_bit_facts· br_ifc5(branch464): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2049c6(branch465): GAP view gap →scry_analyze_core::compute_bit_facts· br_if
inlined: lib.rs:2049 ← lib.rs:2092