Decision #168 — library/core/src/option.rs:1655
Status: no_witness
Truth table
| row | c0 br 1397 | c1 br 1399 | outcome |
|---|---|---|---|
| 6464 | * | T | T |
| 6465 | * | T | T |
| 6466 | F | T | T |
| 6467 | F | * | F |
| 43663 | F | T | T |
| 43664 | F | * | F |
| 47116 | F | T | T |
| 47117 | F | * | F |
| 131200 | * | T | T |
| 132527 | * | T | T |
Independent-effect pairs
c0(branch1397): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:2147c1(branch1399): GAP view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:2148